db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / or-and-constant1.c
blobaa673b905304bfa62b17aa5a2e1d510cd97d7c20
1 unsigned int and_or_equ(unsigned int a)
3 return (a | 3) & 3;
6 int and_or_eqs(int a)
8 return (a | 3) & 3;
11 unsigned int or_and_equ(unsigned int a)
13 return (a & 3) | 3;
16 int or_and_eqs(int a)
18 return (a & 3) | 3;
22 * check-name: or-and-constant1
23 * check-command: test-linearize -Wno-decl $file
24 * check-known-to-fail
26 * check-output-ignore
27 * check-output-pattern(4): ret\\..*\\$3
28 * check-output-excludes: or\\.