locking: handle irq_save() parameters
[smatch.git] / validation / memops / kill-redundant-store0.c
blob8819938fe7630c0e05d2e9048a15ef2f52e4f77d
1 void foo(int *ptr)
3 int i = *ptr;
4 *ptr = i;
7 /*
8 * check-name: kill-redundant-store0
9 * check-command: test-linearize -Wno-decl $file
11 * check-output-ignore
12 * check-output-excludes: store