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  */