check_deref: use add_dereference_hook()
[smatch.git] / validation / memops / kill-dead-store-parent0.c
blobc1b2466ca4507bbe830aed94749284c3d862d8de
1 void foo(int *ptr, int p)
3 if (p)
4 *ptr = 1;
5 *ptr = 0;
8 /*
9 * check-name: kill-dead-store-parent0
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-ignore
13 * check-output-pattern(1): store