db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / kill-stores2.c
blob861b5ece0af0521723e44a9bbcbb1f22a7647806
1 extern void def(int *);
3 static void foo(void)
5 int c;
6 def(&c);
7 if (c)
8 c = c;
12 * check-name: kill-stores2
13 * check-command: test-linearize $file
15 * check-output-ignore
16 * check-output-excludes: store\\.