summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/builtin-unreachable-2.c
blob: 13bdb9f7395fc7077697ad190485427b3add48ef (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/* 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" } } */