|
#include <stdlib.h>
|
|
#include <stdint.h>
|
|
|
|
uint32_t f0a (uint64_t arg2) __attribute__((noinline));
|
|
|
|
uint32_t
|
|
f0a (uint64_t arg)
|
|
{
|
|
return ~((unsigned) (arg > -3));
|
|
}
|
|
|
|
int main() {
|
|
uint32_t r1;
|
|
r1 = f0a (12094370573988097329ULL);
|
|
if (r1 != ~0U)
|
|
abort ();
|
|
return 0;
|
|
}
|