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