From 015c64c64a5a547dcef81a75a589eeaf034654cd Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 26 Nov 2011 15:27:12 +0000
Subject: 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
---
 test/regression/volatile1.c | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'test/regression/volatile1.c')

diff --git a/test/regression/volatile1.c b/test/regression/volatile1.c
index 850bbeda..10a7abea 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;
+}
-- 
cgit