gcc/testsuite/gcc.dg/noreturn-2.c

   1 /* Check for invalid "noreturn" warning. */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O3 -Wall" } */
   4 extern void abort (void) __attribute__ ((__noreturn__));
   5
   6 void noreturn (int x) __attribute__ ((__noreturn__));
   7
   8 void
   9 noreturn (int x)
  10 {
  11   abort ();
  12 } /* { dg-bogus "does return" "noreturn does return" } */