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