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