Switching to the new C parser/elaborator/simplifier

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 9 insertions, 0 deletions

diff --git a/test/regression/volatile1.c b/test/regression/volatile1.c
new file mode 100644
index 0000000..3818c23
--- /dev/null
+++ b/test/regression/volatile1.c
@@ -0,0 +1,9 @@
+volatile int v;
+
+int f1(void) { return v; }
+
+int f2(void) { return v++; }
+
+int f3(void) {return v / v + 1 + v; }
+
+void f4(void) { v; }