db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / bits-not-zero.c
blob189fe3311d9b57fe40447585951aec78cb919a14
1 int or_not0(int a) { return a | ~0; }
2 int and_not0(int a) { return a & ~0; }
3 int xor_not0(int a) { return a ^ ~0; }
5 /*
6 * check-name: bool-not-zero
7 * check-command: test-linearize -Wno-decl $file
9 * check-output-start
10 or_not0:
11 .L0:
12 <entry-point>
13 ret.32 $0xffffffff
16 and_not0:
17 .L2:
18 <entry-point>
19 ret.32 %arg1
22 xor_not0:
23 .L4:
24 <entry-point>
25 not.32 %r8 <- %arg1
26 ret.32 %r8
29 * check-output-end