db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / set-uimm0.c
blobded8fc8272236a086501d0f47a34656a3c6e304c
1 static _Bool setlt0(unsigned int a) { return (a < 0u) == 0; }
2 static _Bool setge0(unsigned int a) { return (a >= 0u) == 1; }
3 static _Bool setle0(unsigned int a) { return (a <= 0u) == (a == 0); }
4 static _Bool setgt0(unsigned int a) { return (a > 0u) == (a != 0); }
5 static _Bool setlt1(unsigned int a) { return (a < 1u) == (a == 0); }
6 static _Bool setge1(unsigned int a) { return (a >= 1u) == (a != 0); }
8 /*
9 * check-name: set-uimm0
10 * check-command: test-linearize $file
12 * check-output-ignore
13 * check-output-pattern(6): ret\\.1 *\\$1