1  /* PR debug/51762 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-g -Os -fomit-frame-pointer -fno-asynchronous-unwind-tables" } */
       4  
       5  void noret (void) __attribute__ ((noreturn));
       6  int bar (void);
       7  void baz (const char *);
       8  static int v = -1;
       9  
      10  void
      11  foo (void)
      12  {
      13    if (bar () && v == -1)
      14      {
      15        baz ("baz");
      16        noret ();
      17      }
      18    noret ();
      19  }