diff options
| author | John Levon <john.levon@joyent.com> | 2019-11-11 16:23:50 +0000 |
|---|---|---|
| committer | John Levon <john.levon@joyent.com> | 2019-11-21 10:40:50 +0000 |
| commit | c85f09cc92abd00c84e58ec9f0f5d942906cb713 (patch) | |
| tree | b20e43e4142b1e40405fb7085a0b68b485add6aa /usr/src/tools/smatch/src/validation/memops-volatile.c | |
| parent | 3128654191cf8267843c8a40c4e0f3ac65f599f1 (diff) | |
| download | illumos-joyent-c85f09cc92abd00c84e58ec9f0f5d942906cb713.tar.gz | |
11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>
Diffstat (limited to 'usr/src/tools/smatch/src/validation/memops-volatile.c')
| -rw-r--r-- | usr/src/tools/smatch/src/validation/memops-volatile.c | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/usr/src/tools/smatch/src/validation/memops-volatile.c b/usr/src/tools/smatch/src/validation/memops-volatile.c index 0f3e12ad24..15314e1ce3 100644 --- a/usr/src/tools/smatch/src/validation/memops-volatile.c +++ b/usr/src/tools/smatch/src/validation/memops-volatile.c @@ -1,6 +1,7 @@ static int foo(volatile int *a, int v) { *a = v; + *a = 0; return *a; } @@ -8,14 +9,8 @@ static int foo(volatile int *a, int v) * check-name: memops-volatile * check-command: test-linearize $file * - * check-output-start -foo: -.L0: - <entry-point> - store.32 %arg2 -> 0[%arg1] - load.32 %r5 <- 0[%arg1] - ret.32 %r5 - - - * check-output-end + * check-output-ignore + * check-output-contains: store\\..*%arg2 -> 0\\[%arg1] + * check-output-contains: store\\..*\\$0 -> 0\\[%arg1] + * check-output-contains: load\\..*%r.* <- 0\\[%arg1] */ |