1  void abort(void);
       2  int x, y;
       3  void init_xy(void);
       4  void
       5  test4(void)
       6  {
       7    init_xy();
       8    _Bool iftemp0;
       9    int x1 = x;
      10    _Bool iftemp1;
      11    x1++;
      12    if (x1 != 3)
      13      {
      14        iftemp1 = 1;
      15        goto endfirstif;
      16      }
      17    iftemp1 = 0;
      18    endfirstif:
      19    iftemp0 = iftemp1;
      20    if (iftemp0)
      21      abort();
      22  }
      23