diff options
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/builtin-unreachable-2.c')
-rw-r--r-- | gcc-4.8.1/gcc/testsuite/gcc.dg/builtin-unreachable-2.c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/builtin-unreachable-2.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/builtin-unreachable-2.c deleted file mode 100644 index 13bdb9f73..000000000 --- a/gcc-4.8.1/gcc/testsuite/gcc.dg/builtin-unreachable-2.c +++ /dev/null @@ -1,20 +0,0 @@ -/* Check that __builtin_unreachable() is a no-return function thus - causing the dead call to foo() to be removed. The comparison is - dead too, and should be removed. */ -/* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-optimized -fdump-rtl-cse1" } */ -void foo (void); - -int -f (int i) -{ - if (i > 1) - __builtin_unreachable(); - if (i > 1) - foo (); - return 1; -} -/* { dg-final { scan-tree-dump-not "foo" "optimized" } } */ -/* { dg-final { scan-rtl-dump-not "\\(if_then_else" "cse1" } } */ -/* { dg-final { cleanup-tree-dump "optimized" } } */ -/* { dg-final { cleanup-rtl-dump "cse1" } } */ |