validation/context-unreachable.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

int fun(void);

static void foo(void)
{
	__context__(1);
	if (!fun()) {
		__builtin_unreachable();
		return;
	}
	__context__(-1);
}

/*
 * check-name: context-unreachable
 */