diff options
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20120615-1.c | 16 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5efced7..cbf9c02 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2012-06-15 Richard Guenther <rguenther@suse.de> + + * gcc.c-torture/execute/20120615-1.c: New testcase. + 2012-06-15 Eric Botcazou <ebotcazou@adacore.com> * gnat.dg/vect8.ad[sb]: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/20120615-1.c b/gcc/testsuite/gcc.c-torture/execute/20120615-1.c new file mode 100644 index 0000000..6c80d43 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20120615-1.c @@ -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; } |