1 int fun(void); 2 foo(void)3 static 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