re PR tree-optimization/34127 (ICE: tree-ssa-operands.c:1688)

2007-11-18  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/34127
	* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
	Make code match up the comments, require compatibility of the
	pointed-to types.

	* gcc.c-torture/compile/pr34127.c: New testcase.

From-SVN: r130269

gcc/ChangeLog

+2007-11-18  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/34127
+	* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
+	Make code match up the comments, require compatibility of the
+	pointed-to types.
+
 2007-11-17  Richard Guenther  <rguenther@suse.de>
 
 	PR middle-end/34130

gcc/testsuite/ChangeLog

+2007-11-18  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/34127
+	* gcc.c-torture/compile/pr34127.c: New testcase.
+
 2007-11-18  Ben Elliston  <bje@au.ibm.com>
 
 	* gcc.target/powerpc/altivec-23.c: Do not use a typedef name as a

gcc/testsuite/gcc.c-torture/compile/pr34127.c

+static void 
+whichtable(char **pfmt)
+{
+  --*pfmt;
+}
+void prepare_s(const char *fmt)
+{
+  whichtable((char **)&fmt);
+}

gcc/tree-ssa-forwprop.c

@@ -959,8 +959,8 @@ tree_ssa_forward_propagate_single_use_vars (void)
 		       || TREE_CODE (rhs) == CONVERT_EXPR)
 		      && TREE_CODE (TREE_OPERAND (rhs, 0)) == ADDR_EXPR
 		      && POINTER_TYPE_P (TREE_TYPE (rhs))
-		      && useless_type_conversion_p (TREE_TYPE (TREE_TYPE (TREE_OPERAND (rhs, 0))),
-						    TREE_TYPE (TREE_TYPE (rhs)))))
+		      && types_compatible_p (TREE_TYPE (TREE_TYPE (TREE_OPERAND (rhs, 0))),
+					     TREE_TYPE (TREE_TYPE (rhs)))))
 		{
 		  if (forward_propagate_addr_expr (lhs, rhs))
 		    {