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