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