This adds a testcase I reduced from a genmodes miscompile with one of
my pending VRP patches.

Committed.

Richard.

2012-06-15  Richard Guenther  <rguent...@suse.de>

        * gcc.c-torture/execute/20120615-1.c: New testcase.

Index: gcc/testsuite/gcc.c-torture/execute/20120615-1.c
===================================================================
--- gcc/testsuite/gcc.c-torture/execute/20120615-1.c    (revision 0)
+++ gcc/testsuite/gcc.c-torture/execute/20120615-1.c    (revision 0)
@@ -0,0 +1,16 @@
+extern void abort (void);
+
+void __attribute__((noinline,noclone))
+     test1(int i)
+{
+  if (i == 12)
+    return;
+  if (i != 17)
+    {
+      if (i == 15)
+       return;
+      abort ();
+    }
+}
+
+int main() { test1 (15); return 0; }

Reply via email to