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