validation/builtin_unreachable.c

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