PR optimization/5844

	* gcc.dg/20020310-1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@50566 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fb92957..6f6d9f2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -283,6 +283,7 @@ Thu Mar  7 16:33:54 CET 2002  Jan Hubicka  <jh@suse.cz>
 
 2002-03-06  Richard Henderson  <rth@redhat.com>
 
+       PR optimization/5844
        * genemit.c (gen_exp): New argument used.  Invoke copy_rtx
        if used indicates we've already emitted one copy of an operand.
        (gen_insn, gen_expand, output_add_clobbers): Supply a null used.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0ea067c..2b54188 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2002-03-11  Jakub Jelinek  <jakub@redhat.com>
+
+       PR optimization/5844
+       * gcc.dg/20020310-1.c: New test.
+
 2002-03-09  Michael Meissner  <meissner@redhat.com>
 
        * gcc.c-torture/execute/memcpy-2.c: New test.

diff --git a/gcc/testsuite/gcc.dg/20020310-1.c b/gcc/testsuite/gcc.dg/20020310-1.c
new file mode 100644 (file)
index 0000000..ec722ec
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20020310-1.c
@@ -0,0 +1,54 @@
+/* PR optimization/5844
+   This testcase was miscompiled because of an rtx sharing bug.  */
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+/* { dg-options "-O2 -mcpu=i586" { target i?86-*-* } } */
+
+struct A
+{
+  struct A *a;
+  int b;
+};
+
+struct B
+{
+  struct A *c;
+  unsigned int d;
+};
+
+struct A p = { &p, -1 };
+struct B q = { &p, 0 };
+
+extern void abort (void);
+extern void exit (int);
+
+struct B *
+foo (void)
+{
+  return &q;
+}
+
+void
+bar (void)
+{
+  struct B *e = foo ();
+  struct A *f = e->c;
+  int g = f->b;
+
+  if (++g == 0)
+    {
+      e->d++;
+      e->c = f->a;
+    }
+
+  f->b = g;
+}
+
+int
+main ()
+{
+  bar ();
+  if (p.b != 0 || q.d != 1 || q.c != &p)
+    abort ();
+  exit (0);
+}