1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  /* { dg-require-effective-target nonlocal_goto } */
       4  
       5  extern void abort (void);
       6  
       7  int global;
       8  
       9  static int foo(void) __attribute__((noinline));
      10  
      11  static int foo(void)
      12  {
      13    global = 1;
      14  }
      15  
      16  static int bar(void)
      17  {
      18    foo ();
      19    global = 0;
      20  }
      21  
      22  int execute(int cmd)
      23  {
      24    __label__ start;
      25  
      26    void raise(void)
      27    {
      28      goto start;
      29    }
      30  
      31    int last;
      32  
      33    bar ();
      34  
      35    last = 0;
      36  
      37  start:
      38  
      39    if (last == 0)
      40      while (1)
      41        {
      42          last = 1;
      43          raise ();
      44        }
      45  
      46    if (last == 0)
      47      return 0;
      48    else
      49      return cmd;
      50  }
      51  
      52  int main(void)
      53  {
      54    if (execute (1) == 0)
      55      abort ();
      56  
      57    return 0;
      58  }