1 #include <stdlib.h> 2 #include <stdint.h> 3 4 uint32_t f0a (uint64_t arg2) __attribute__((noinline)); 5 6 uint32_t f0a(uint64_t arg)7f0a (uint64_t arg) 8 { 9 return ~((unsigned) (arg > -3)); 10 } 11 main()12int main() { 13 uint32_t r1; 14 r1 = f0a (12094370573988097329ULL); 15 if (r1 != ~0U) 16 abort (); 17 return 0; 18 } 19