re PR middle-end/35227 (gcc ICEs for functions with unused complex argument)

2008-02-17  Richard Guenther  <rguenther@suse.de>

	PR middle-end/35227
	* tree-complex.c (init_parameter_lattice_values): Handle parameters
	without default definition.

	* gcc.dg/torture/pr35227.c: New testcase.

From-SVN: r132379

gcc/ChangeLog

 2008-02-17  Richard Guenther  <rguenther@suse.de>
 
+	PR middle-end/35227
+	* tree-complex.c (init_parameter_lattice_values): Handle parameters
+	without default definition.
+
+2008-02-17  Richard Guenther  <rguenther@suse.de>
+
 	PR tree-optimization/35231
 	* tree-vrp.c (register_edge_assert_for): Do not assume A == 0
 	if A | B != 1.

gcc/testsuite/ChangeLog

 2008-02-17  Richard Guenther  <rguenther@suse.de>
 
+	PR middle-end/35227
+	* gcc.dg/torture/pr35227.c: New testcase.
+
+2008-02-17  Richard Guenther  <rguenther@suse.de>
+
 	PR tree-optimization/35231
 	* gcc.c-torture/execute/pr35231.c: New testcase.
 

gcc/testsuite/gcc.dg/torture/pr35227.c

+/* { dg-do compile } */
+
+mandel(double _Complex C)
+{
+  int py;
+  C = (__extension__ 1.0iF) * (double)py;
+  return cabs(C);  /* { dg-warning "incompatible" } */
+}
+

gcc/tree-complex.c

@@ -161,15 +161,14 @@ is_complex_reg (tree lhs)
 static void
 init_parameter_lattice_values (void)
 {
-  tree parm;
+  tree parm, ssa_name;
 
   for (parm = DECL_ARGUMENTS (cfun->decl); parm ; parm = TREE_CHAIN (parm))
-    if (is_complex_reg (parm) && var_ann (parm) != NULL)
-      {
-	tree ssa_name = gimple_default_def (cfun, parm);
-	VEC_replace (complex_lattice_t, complex_lattice_values,
-		     SSA_NAME_VERSION (ssa_name), VARYING);
-      }
+    if (is_complex_reg (parm)
+	&& var_ann (parm) != NULL
+	&& (ssa_name = gimple_default_def (cfun, parm)) != NULL_TREE)
+      VEC_replace (complex_lattice_t, complex_lattice_values,
+		   SSA_NAME_VERSION (ssa_name), VARYING);
 }
 
 /* Initialize DONT_SIMULATE_AGAIN for each stmt and phi.  Return false if