ptrlist: adjust ptr_list_size for the new ->rm field
[smatch.git] / validation / kill-store.c
blob8f7253226680deb4775c5580b6256a31484fb61c
1 void keep(int *p) { *p = 0; }
2 void kill(int *p, int i) { if (i && 0) *p = 0; }
3 void dead(int *p, int i) { int v = i++; if (i && 0) p[v] = 0; }
6 /*
7 * check-name: kill-store
8 * check-command: test-linearize -Wno-decl $file
9 * check-description:
10 * Check that stores are optimized away but only
11 * when needed:
12 * - bb unreachable.
14 * check-output-ignore
15 * check-output-pattern-1-times: store\\.