diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-09-04 10:14:21 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-09-04 10:14:21 +0000 |
commit | 812e142ed14d95023da491f2bd31ab568a7e1351 (patch) | |
tree | 8c53e8d0064e57bd7226360f43c258568ff048b5 | |
parent | 7ca584afa5f0b70eba849d419ba73a09e0ff6360 (diff) | |
download | compcert-812e142ed14d95023da491f2bd31ab568a7e1351.tar.gz compcert-812e142ed14d95023da491f2bd31ab568a7e1351.zip |
++ on volatile not supported.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1504 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
-rw-r--r-- | test/regression/volatile1.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regression/volatile1.c b/test/regression/volatile1.c index 3818c238..850bbeda 100644 --- a/test/regression/volatile1.c +++ b/test/regression/volatile1.c @@ -2,8 +2,8 @@ volatile int v; int f1(void) { return v; } -int f2(void) { return v++; } +void f2(void) { v = 42; } -int f3(void) {return v / v + 1 + v; } +int f3(void) { return v / v + 1 + v; } void f4(void) { v; } |