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