check_deref: use add_dereference_hook()
[smatch.git] / validation / memops / kill-dead-store-parent2.c
blob4f7b9dd901d91b99a75e50df5cc97256d43b67b2
1 int ladder02(int *ptr, int p, int x)
3 *ptr = x++;
4 if (p)
5 goto l11;
6 else
7 goto l12;
8 l11:
9 *ptr = x++;
10 goto l20;
11 l12:
12 *ptr = x++;
13 goto l20;
14 l20:
15 *ptr = x++;
16 return *ptr;
20 * check-name: kill-dead-store-parent2
21 * check-command: test-linearize -Wno-decl $file
23 * check-output-ignore
24 * check-output-pattern(1): store