1  int g_21;
       2  int g_211;
       3  int g_261;
       4  
       5  static void __attribute__((noinline,noclone))
       6  func_32 (int b)
       7  {
       8    if (b) {
       9  lbl_370:
      10        g_21 = 1;
      11    }
      12  
      13    for (g_261 = -1; g_261 > -2; g_261--) {
      14        if (g_211 + 1) {
      15  	  return;
      16        } else {
      17  	  g_21 = 1;
      18  	  goto lbl_370;
      19        }
      20    }
      21  }
      22  
      23  extern void abort (void);
      24  
      25  int main(void)
      26  {
      27    func_32(0);
      28    if (g_261 != -1)
      29      abort ();
      30    return 0;
      31  }