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)7 f0a (uint64_t arg)
8 {
9   return ~((unsigned) (arg > -3));
10 }
11 
main()12 int main() {
13   uint32_t r1;
14   r1 = f0a (12094370573988097329ULL);
15   if (r1 != ~0U)
16     abort ();
17   return 0;
18 }
19