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