1 /* example from gcc documents */ 2 3 void function_that_never_returns (void); 4 5 static int g (int c) 6 { 7 if (c) 8 return 1; 9 function_that_never_returns (); 10 __builtin_unreachable (); 11 } 12 13 /* 14 * check-name: __builtin_unreachable() 15 */ 16