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; }