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