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