diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/pr42461.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/pr42461.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr42461.c b/gcc/testsuite/gcc.dg/pr42461.c new file mode 100644 index 000000000..0518bfd97 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr42461.c @@ -0,0 +1,14 @@ +/* PR rtl-optimization/42461 */ +/* Reported by Patrick Pelissier <patrick.pelissier@gmail.com> */ + +/* { dg-do link } */ +/* { dg-options "-O2" } */ + +extern int link_failure (int) __attribute__ ((pure)); + +int main (void) +{ + if (link_failure (0) < 1) + __builtin_unreachable (); + return 0; +} |