1 /* 920730-1.c */ 2 #include <limits.h> f1()3f1() 4 { 5 int b=INT_MIN; 6 return b>=INT_MIN; 7 } 8 f2()9f2() 10 { 11 int b=INT_MIN+1; 12 return b>= (unsigned)(INT_MAX+2); 13 } 14 f3()15f3() 16 { 17 int b=INT_MAX; 18 return b>=INT_MAX; 19 } 20 f4()21f4() 22 { 23 int b=-1; 24 return b>=UINT_MAX; 25 } 26 main()27main () 28 { 29 if((f1()&f2()&f3()&f4())!=1) 30 abort(); 31 exit(0); 32 } 33