Print this page
new smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/kill-store.c
+++ new/usr/src/tools/smatch/src/validation/kill-store.c
1 1 void keep(int *p) { *p = 0; }
2 2 void kill(int *p, int i) { if (i && 0) *p = 0; }
3 3 void dead(int *p, int i) { int v = i++; if (i && 0) p[v] = 0; }
4 4
|
↓ open down ↓ |
4 lines elided |
↑ open up ↑ |
5 5
6 6 /*
7 7 * check-name: kill-store
8 8 * check-command: test-linearize -Wno-decl $file
9 9 * check-description:
10 10 * Check that stores are optimized away but only
11 11 * when needed:
12 12 * - bb unreachable.
13 13 *
14 14 * check-output-ignore
15 - * check-output-pattern-1-times: store\\.
15 + * check-output-pattern(1): store\\.
16 16 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX