1  /* { dg-do compile } */
       2  
       3  void __attribute__ ((returns_twice))
       4  gr (void);
       5  
       6  void
       7  ib (void);
       8  
       9  void
      10  zg (void);
      11  
      12  void
      13  yw (int uz)
      14  {
      15    gr ();
      16  
      17    for (;;)
      18      if (uz != 0)
      19        {
      20          uz = 0;
      21          ib ();
      22        }
      23      else
      24        zg ();
      25  }