ref: c35217a1a61f795d312eede2f84faf59c7c06a3c
dir: /tests/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;
}