ref: 607e768887f2b705e4d855754ffd41009b16b078
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;
}