1extern void abort (void); 2extern void exit (int); 3 4int sub1 (int val) 5{ 6 return val; 7} 8 9int 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 31int main (void) 32{ 33 if (testcond (1)) 34 abort (); 35 exit (0); 36} 37