blob: 4c3b9bbaefd016e9a1785560a909851600dfdf33 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-fab1 -fno-tree-dominator-opts -fno-tree-vrp" } */
/* { dg-require-effective-target label_values } */
void
foo (int b, int c)
{
void *x = &&lab;
if (b)
{
lab:
__builtin_unreachable ();
}
lab2:
if (c)
x = &&lab2;
goto *x;
}
/* { dg-final { scan-tree-dump-times "lab:" 1 "fab1" } } */
/* { dg-final { scan-tree-dump-times "__builtin_unreachable" 1 "fab1" } } */
|
