1 /* { dg-do run { target nonpic } } */ 2 /* { dg-options "-O2" } */ 3 void exit (int); 4 void noreturn_autodetection_failed (); 5 __attribute__ ((noinline)) detect_noreturn()6detect_noreturn () 7 { 8 exit (0); 9 } 10 int main(void)11main (void) 12 { 13 detect_noreturn (); 14 noreturn_autodetection_failed (); 15 return 0; 16 } 17