| /* 920730-1.c */ | |
| #include <limits.h> | |
| f1() | |
| { | |
| int b=INT_MIN; | |
| return b>=INT_MIN; | |
| } | |
| f2() | |
| { | |
| int b=INT_MIN+1; | |
| return b>= (unsigned)(INT_MAX+2); | |
| } | |
| f3() | |
| { | |
| int b=INT_MAX; | |
| return b>=INT_MAX; | |
| } | |
| f4() | |
| { | |
| int b=-1; | |
| return b>=UINT_MAX; | |
| } | |
| main () | |
| { | |
| if((f1()&f2()&f3()&f4())!=1) | |
| abort(); | |
| exit(0); | |
| } |