db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / address-used01.c
blob628923d1932563c7388544cc88be696040762f02
1 int foo(int **g, int j)
3 int i = 1;
4 int *a;
5 int **p;
7 a = &i;
8 p = &a;
9 *p[0] = 0;
10 return i;
14 * check-name: address-used01
15 * check-command: test-linearize -Wno-decl -fdump-ir=final $file
16 * check-output-ignore
17 * check-output-contains: ret\\..* \\$0