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