blob: 3e330403ce015d6034afc2ccb6da7402412250e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
int fun(void);
static void foo(void)
{
__context__(1);
if (!fun()) {
__builtin_unreachable();
return;
}
__context__(-1);
}
/*
* check-name: context-unreachable
* check-known-to-fail
*/
|