diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-10 09:16:20 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-10 09:16:20 +0100 |
| commit | 215a0343b8fb030ecb6367e71d9da8894c641e0e (patch) | |
| tree | ea2a71a6224aaf12030591fcc5b2bc59b6f4bf67 /test/monniaux/volatile | |
| parent | 039d889f5f37f239d474bbc1eeebd258513cf209 (diff) | |
| download | compcert-kvx-215a0343b8fb030ecb6367e71d9da8894c641e0e.tar.gz compcert-kvx-215a0343b8fb030ecb6367e71d9da8894c641e0e.zip | |
volatile stores
Diffstat (limited to 'test/monniaux/volatile')
| -rw-r--r-- | test/monniaux/volatile/Makefile | 2 | ||||
| -rw-r--r-- | test/monniaux/volatile/volatile.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/volatile/Makefile b/test/monniaux/volatile/Makefile index 59c8b459..0234b02a 100644 --- a/test/monniaux/volatile/Makefile +++ b/test/monniaux/volatile/Makefile @@ -7,7 +7,7 @@ volatile.gcc.k1c : volatile.gcc.k1c.s k1-cos-gcc $< -o $@ volatile.ccomp.k1c.s : volatile.c - ../../../ccomp -Dvolatile= -O2 -Wall -Wno-c11-extensions -S $< -o $@ + ../../../ccomp -O2 -Wall -Wno-c11-extensions -S $< -o $@ volatile.gcc.k1c.s : volatile.c k1-cos-gcc -O2 -Wall -Werror=implicit -std=gnu99 -S $< -o $@ diff --git a/test/monniaux/volatile/volatile.c b/test/monniaux/volatile/volatile.c index 442ccff4..d4e08d6d 100644 --- a/test/monniaux/volatile/volatile.c +++ b/test/monniaux/volatile/volatile.c @@ -16,7 +16,7 @@ static inline data powM(data x, unsigned e) { } void* second_thread_entry(void *ptr) { - *((data*) ptr) = powM(3, 65536); + *((volatile data*) ptr) = powM(3, 65536); return NULL; } |