db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / set-uimm1.c
blobaa9f54c3ff82c45fd798181b9aeb79fc2eb62b58
1 static _Bool setle_umax(unsigned int a) { return (a <= ~0) == 1; }
2 static _Bool setgt_umax(unsigned int a) { return (a > ~0) == 0; }
4 /*
5 * check-name: set-uimm1
6 * check-command: test-linearize $file
8 * check-output-ignore
9 * check-output-returns: 1