Fixed serious bug in handling of volatile arrays.

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

1 files changed, 18 insertions, 0 deletions

diff --git a/test/regression/volatile1.c b/test/regression/volatile1.c
index 850bbed..10a7abe 100644
--- a/test/regression/volatile1.c
+++ b/test/regression/volatile1.c
@@ -1,3 +1,5 @@
+#include <stdio.h>
+
 volatile int v;
 
 int f1(void) { return v; }
@@ -7,3 +9,19 @@ void f2(void) { v = 42; }
 int f3(void) { return v / v + 1 + v; }
 
 void f4(void) { v; }
+
+volatile int t[2];
+
+int f5(int x) { t[0] = x; return t[0]; }
+
+int main()
+{
+  v = 123;
+  printf("f1() = %d\n", f1());
+  f2();
+  printf("v = %d\n", v);
+  printf("f3() = %d\n", f3());
+  f4();
+  printf("f5(2) = %d\n", f5(2));
+  return 0;
+}