blob: e762e59c3f80f3a9b6ef6b8dd77a7d52f56acbc9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* PR middle-end/109267 */
int f(void)
{
__builtin_unreachable();
}
/* This unreachable should be changed to be a trap. */
/* { dg-final { scan-tree-dump-times "__builtin_unreachable trap \\\(" 1 "optimized" { target trap } } } */
/* { dg-final { scan-tree-dump-times "goto <" 1 "optimized" { target { ! trap } } } } */
/* { dg-final { scan-tree-dump-not "__builtin_unreachable \\\(" "optimized"} } */
|