1  extern void abort (void);
       2  extern void exit (int);
       3  
       4  int sub1 (int val)
       5  {
       6    return val;
       7  }
       8  
       9  int testcond (int val)
      10  {
      11    int flag1;
      12  
      13      {
      14        int t1 = val;
      15          {
      16            int t2 = t1;
      17              {
      18                flag1 = sub1 (t2) ==0;
      19                goto lab1;
      20              };
      21          }
      22        lab1: ;
      23      }
      24  
      25    if (flag1 != 0)
      26      return 0x4d0000;
      27    else
      28      return 0;
      29  }
      30  
      31  int main (void)
      32  {
      33    if (testcond (1))
      34      abort ();
      35    exit (0);
      36  }