db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / volatile-store00.c
blob451eefa1578605aa801a167d44b493ee0bf204ca
1 void foo(volatile int *p)
3 *p = 0;
4 *p = 0;
7 void bar(void)
9 extern volatile int i;
10 i = 0;
11 i = 0;
15 void baz(void)
17 volatile int i;
18 i = 0;
19 i = 0;
23 * check-name: keep volatile stores
24 * check-command: test-linearize -Wno-decl -fdump-ir=final $file
25 * check-output-ignore
26 * check-output-pattern(6): store\\.