gcc/testsuite/gcc.dg/builtin-unreachable-1.c

   1 /* Check that __builtin_unreachable() prevents the 'control reaches
   2    end of non-void function' diagnostic.  */
   3 /* { dg-do compile } */
   4 /* { dg-options "-O2 -Wreturn-type" } */
   5 int
   6 f(int a, int b)
   7 {
   8   if (a)
   9     {
  10       return b;
  11     }
  12   else
  13     {
  14       asm ("bug");
  15       __builtin_unreachable();
  16     }
  17 }