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