]> gcc.gnu.org Git - gcc.git/commitdiff
re PR c/5420 (bad code generated with gcc3.1/ia64)
authorJakub Jelinek <jakub@redhat.com>
Wed, 6 Feb 2002 19:37:31 +0000 (20:37 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Wed, 6 Feb 2002 19:37:31 +0000 (20:37 +0100)
PR c/5420:
* c-common.c (c_unsafe_for_reeval): Make COMPOUND_LITERAL_EXPR
unsafe for reevaluation.

* gcc.c-torture/execute/20020206-2.c: New test.

From-SVN: r49550

gcc/ChangeLog
gcc/c-common.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/20020206-2.c [new file with mode: 0644]

index 86fc062969355805afcf1f259ac2003938c8791e..96baa91fc6cb7a17d020cfdb9416673577f7ffc1 100644 (file)
@@ -1,3 +1,9 @@
+2002-02-06  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c/5420:
+       * c-common.c (c_unsafe_for_reeval): Make COMPOUND_LITERAL_EXPR
+       unsafe for reevaluation.
+
 2002-02-06  Jakub Jelinek  <jakub@redhat.com>
 
        PR c/5482:
index dd535ed7365e753d39223c5ffda1f3f4d872c99d..4b7946b41946990e71273ed068ebe870faac705b 100644 (file)
@@ -3567,8 +3567,10 @@ int
 c_unsafe_for_reeval (exp)
      tree exp;
 {
-  /* Statement expressions may not be reevaluated.  */
-  if (TREE_CODE (exp) == STMT_EXPR)
+  /* Statement expressions may not be reevaluated, likewise compound
+     literals.  */
+  if (TREE_CODE (exp) == STMT_EXPR
+      || TREE_CODE (exp) == COMPOUND_LITERAL_EXPR)
     return 2;
 
   /* Walk all other expressions.  */
index 8cf3dc49e2bbb1f978987af0f257065d396fa155..5c8a027d3cbda2a2abf345183aecccc428cf4d2e 100644 (file)
@@ -2,6 +2,8 @@
 
        * gcc.c-torture/execute/20020206-1.c: New test.
 
+       * gcc.c-torture/execute/20020206-2.c: New test.
+
        PR optimization/5429:
        * gcc.c-torture/compile/20020206-1.c: New test.
 
diff --git a/gcc/testsuite/gcc.c-torture/execute/20020206-2.c b/gcc/testsuite/gcc.c-torture/execute/20020206-2.c
new file mode 100644 (file)
index 0000000..097eb30
--- /dev/null
@@ -0,0 +1,24 @@
+/* Origin: PR c/5420 from David Mosberger <davidm@hpl.hp.com>.
+   This testcase was miscompiled when tail call optimizing, because a
+   compound literal initialization was emitted only in the tail call insn
+   chain, not in the normal call insn chain.  */
+
+typedef struct { unsigned short a; } A;
+
+extern void abort (void);
+extern void exit (int);
+
+void foo (unsigned int x)
+{
+  if (x != 0x800 && x != 0x810)
+    abort ();
+}
+
+int
+main (int argc, char **argv)
+{
+  int i;
+  for (i = 0; i < 2; ++i)
+    foo (((A) { ((!(i >> 4) ? 8 : 64 + (i >> 4)) << 8) + (i << 4) } ).a);
+  exit (0);
+}
This page took 0.07921 seconds and 5 git commands to generate.