c-convert.c (convert): When converting to a BOOLEAN_TYPE, avoid passing nested NOP_EX...

	* c-convert.c (convert): When converting to a BOOLEAN_TYPE, avoid
	passing nested NOP_EXPRs to fold.

testsuite:
	* gcc.c-torture/compile/20010423-1.c: New test.

From-SVN: r41508

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e3d7ad0..fca2bcf 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2001-04-23  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * c-convert.c (convert): When converting to a BOOLEAN_TYPE, avoid
+       passing nested NOP_EXPRs to fold.
+
 Mon Apr 23 14:32:12 CEST 2001  Jan Hubicka  <jh@suse.cz>
 
        * reg-stack.c (emit_swap_insn): Do not get pass CALL_INSNs.

diff --git a/gcc/c-convert.c b/gcc/c-convert.c
index 7f57725..6585f3c 100644 (file)
--- a/gcc/c-convert.c
+++ b/gcc/c-convert.c
@@ -89,7 +89,15 @@ convert (type, expr)
   if (code == INTEGER_TYPE || code == ENUMERAL_TYPE)
     return fold (convert_to_integer (type, e));
   if (code == BOOLEAN_TYPE)
-    return fold (build1 (NOP_EXPR, type, truthvalue_conversion (expr)));
+    {
+      tree t = truthvalue_conversion (expr);
+      /* If truthvalue_conversion returns a NOP_EXPR, we must fold it here
+        to avoid infinite recursion between fold () and convert ().  */
+      if (TREE_CODE (t) == NOP_EXPR)
+       return fold (build1 (NOP_EXPR, type, TREE_OPERAND (t, 0)));
+      else
+       return fold (build1 (NOP_EXPR, type, t));
+    }
   if (code == POINTER_TYPE || code == REFERENCE_TYPE)
     return fold (convert_to_pointer (type, e));
   if (code == REAL_TYPE)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f2c3d70..aa168b6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2001-04-23  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * gcc.c-torture/compile/20010423-1.c: New test.
+
 2001-04-20  Nathan Sidwell  <nathan@codesourcery.com>
 
        * g++.old-deja/g++.pt/typename28.C: New test.

diff --git a/gcc/testsuite/gcc.c-torture/compile/20010423-1.c b/gcc/testsuite/gcc.c-torture/compile/20010423-1.c
new file mode 100644 (file)
index 0000000..ef7771f
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/20010423-1.c
@@ -0,0 +1,16 @@
+/* Origin: PR c/2618 from Cesar Eduardo Barros <cesarb@nitnet.com.br>,
+   adapted to a testcase by Joseph Myers <jsm28@cam.ac.uk>.
+
+   Boolean conversions were causing infinite recursion between convert
+   and fold in certain cases.  */
+
+#include <stdbool.h>
+
+bool x;
+unsigned char y;
+
+void
+fn (void)
+{
+  x = y & 0x1 ? 1 : 0;
+}