ref: 4886e44d6ea86d65f31eb6ecbfa8f82cac9c2fa0
dir: /tests/cc/execute/0107-bnot.c/
#include <stdint.h>
int
main()
{
int32_t x;
int64_t l;
x = 0;
l = 0;
x = ~x;
if (x != 0xffffffff)
return 1;
l = ~l;
if (x != 0xffffffffffffffff)
return 2;
return 0;
}