Print this page
11972 resync smatch
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/validation/memops-volatile.c
+++ new/usr/src/tools/smatch/src/validation/memops-volatile.c
1 1 static int foo(volatile int *a, int v)
2 2 {
3 3 *a = v;
4 + *a = 0;
4 5 return *a;
5 6 }
6 7
7 8 /*
8 9 * check-name: memops-volatile
9 10 * check-command: test-linearize $file
10 11 *
11 - * check-output-start
12 -foo:
13 -.L0:
14 - <entry-point>
15 - store.32 %arg2 -> 0[%arg1]
16 - load.32 %r5 <- 0[%arg1]
17 - ret.32 %r5
18 -
19 -
20 - * check-output-end
12 + * check-output-ignore
13 + * check-output-contains: store\\..*%arg2 -> 0\\[%arg1]
14 + * check-output-contains: store\\..*\\$0 -> 0\\[%arg1]
15 + * check-output-contains: load\\..*%r.* <- 0\\[%arg1]
21 16 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX