re PR middle-end/27773 (ICE: in find_lattice_value, at tree-complex.c:133)

2006-05-27  Richard Guenther  <rguenther@suse.de>

	PR middle-end/27773
	* fold-const.c (fold_plusminus_mult_expr): Use fold_convert
	to produce a constant of value 1 of generic type.

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

From-SVN: r114158

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4c73ad81454ea0b51f3d53870dc9dd68fba3d7b3..021e01b0b0e6d1a614ceb3f6b9af94843363f775 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-05-27  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/27773
+       * fold-const.c (fold_plusminus_mult_expr): Use fold_convert
+       to produce a constant of value 1 of generic type.
+
 2006-05-27  Dirk Mueller  <dmueller@suse.de>
 
        * cgraphunit.c (decide_is_function_needed): Fix wrong

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index a5e57b18dfe6b18e4bf784a44dc4a77810112ae0..7ef0fa11839af029be5a95c4a7f0d40313ff5f5c 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -6702,10 +6702,7 @@ fold_plusminus_mult_expr (enum tree_code code, tree type, tree arg0, tree arg1)
   else
     {
       arg00 = arg0;
-      if (!FLOAT_TYPE_P (type))
-       arg01 = build_int_cst (type, 1);
-      else
-       arg01 = build_real (type, dconst1);
+      arg01 = fold_convert (type, integer_one_node);
     }
   if (TREE_CODE (arg1) == MULT_EXPR)
     {
@@ -6715,10 +6712,7 @@ fold_plusminus_mult_expr (enum tree_code code, tree type, tree arg0, tree arg1)
   else
     {
       arg10 = arg1;
-      if (!FLOAT_TYPE_P (type))
-       arg11 = build_int_cst (type, 1);
-      else
-       arg11 = build_real (type, dconst1);
+      arg11 = fold_convert (type, integer_one_node);
     }
   same = NULL_TREE;
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d25ea7014ded0412707c7355d932b1fbfed640a1..786b6cae445c5159e2aac9bb1647cf6e5310b74d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-05-27  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/27773
+       * gcc.dg/torture/pr27773.c: New testcase.
+
 2006-05-27  Dirk Mueller  <dmueller@suse.de>
 
        * gcc.dg/pr24561.c: Rename to..

diff --git a/gcc/testsuite/gcc.dg/torture/pr27773.c b/gcc/testsuite/gcc.dg/torture/pr27773.c
new file mode 100644 (file)
index 0000000..e30e540
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr27773.c
@@ -0,0 +1,6 @@
+/* { dg-do compile } */
+
+_Complex float f(_Complex float a, float b)
+{
+  return a - a*b;
+}