1*c87b03e5Sespie int sub1(unsigned long long i)2*c87b03e5Sespiesub1 (unsigned long long i) 3*c87b03e5Sespie { 4*c87b03e5Sespie if (i < 0x80000000) 5*c87b03e5Sespie return 1; 6*c87b03e5Sespie else 7*c87b03e5Sespie return 0; 8*c87b03e5Sespie } 9*c87b03e5Sespie 10*c87b03e5Sespie int sub2(unsigned long long i)11*c87b03e5Sespiesub2 (unsigned long long i) 12*c87b03e5Sespie { 13*c87b03e5Sespie if (i <= 0x7FFFFFFF) 14*c87b03e5Sespie return 1; 15*c87b03e5Sespie else 16*c87b03e5Sespie return 0; 17*c87b03e5Sespie } 18*c87b03e5Sespie 19*c87b03e5Sespie int sub3(unsigned long long i)20*c87b03e5Sespiesub3 (unsigned long long i) 21*c87b03e5Sespie { 22*c87b03e5Sespie if (i >= 0x80000000) 23*c87b03e5Sespie return 0; 24*c87b03e5Sespie else 25*c87b03e5Sespie return 1; 26*c87b03e5Sespie } 27*c87b03e5Sespie 28*c87b03e5Sespie int sub4(unsigned long long i)29*c87b03e5Sespiesub4 (unsigned long long i) 30*c87b03e5Sespie { 31*c87b03e5Sespie if (i > 0x7FFFFFFF) 32*c87b03e5Sespie return 0; 33*c87b03e5Sespie else 34*c87b03e5Sespie return 1; 35*c87b03e5Sespie } 36*c87b03e5Sespie main()37*c87b03e5Sespiemain() 38*c87b03e5Sespie { 39*c87b03e5Sespie if (sub1 (0x80000000ULL)) 40*c87b03e5Sespie abort (); 41*c87b03e5Sespie 42*c87b03e5Sespie if (sub2 (0x80000000ULL)) 43*c87b03e5Sespie abort (); 44*c87b03e5Sespie 45*c87b03e5Sespie if (sub3 (0x80000000ULL)) 46*c87b03e5Sespie abort (); 47*c87b03e5Sespie 48*c87b03e5Sespie if (sub4 (0x80000000ULL)) 49*c87b03e5Sespie abort (); 50*c87b03e5Sespie 51*c87b03e5Sespie exit (0); 52*c87b03e5Sespie } 53