diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-02 06:18:27 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-11 16:58:04 +0100 |
| commit | 884802fca5b5751fc7007251d925a775f1d08f41 (patch) | |
| tree | 63323093f83956f5ea525c805307a744e7e8cc32 | |
| parent | 90859bb4e3f9ad11f76ad42e3dce84043bdc3176 (diff) | |
| download | sparse-dev-884802fca5b5751fc7007251d925a775f1d08f41.tar.gz | |
add test case for bogus volatile simplification
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | validation/memops-volatile.c | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/validation/memops-volatile.c b/validation/memops-volatile.c index 0f3e12ad..71299f49 100644 --- a/validation/memops-volatile.c +++ b/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,9 @@ 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-known-to-fail + * check-output-ignore + * check-output-contains: store\\..*%arg2 -> 0\\[%arg1] + * check-output-contains: store\\..*\\$0 -> 0\\[%arg1] + * check-output-contains: load\\..*%r.* <- 0\\[%arg1] */ |