validation/context-unreachable.c

   1 int fun(void);
   2
   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  */