Commit 812e142e authored by xleroy's avatar xleroy
Browse files

++ on volatile not supported.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1504 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
parent 7ca584af
......@@ -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; }
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment