tree-ssa-ccp.c (fold_stmt): Get type directly from OBJ_TYPE_REF_OBJECT.

	* tree-ssa-ccp.c (fold_stmt): Get type directly from
	OBJ_TYPE_REF_OBJECT.

From-SVN: r84280

gcc/ChangeLog

+2004-07-08  Richard Henderson  <rth@redhat.com>
+
+	* tree-ssa-ccp.c (fold_stmt): Get type directly from
+	OBJ_TYPE_REF_OBJECT.
+
 2004-07-08  Joseph S. Myers  <jsm@polyomino.org.uk>
             Neil Booth  <neil@daikokuya.co.uk>
 

gcc/tree-ssa-ccp.c

@@ -2068,7 +2068,12 @@ fold_stmt (tree *stmt_p)
 	    {
 	      tree t;
 
-	      t = TREE_TYPE (TREE_OPERAND (OBJ_TYPE_REF_OBJECT (callee), 0));
+	      /* ??? Caution: Broken ADDR_EXPR semantics means that
+		 looking at the type of the operand of the addr_expr
+		 can yield an array type.  See silly exception in
+		 check_pointer_types_r.  */
+
+	      t = TREE_TYPE (TREE_TYPE (OBJ_TYPE_REF_OBJECT (callee)));
 	      t = lang_hooks.fold_obj_type_ref (callee, t);
 	      if (t)
 		{