In StructAssign: be careful not to duplicate accesses to a volatile variable.

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

1 files changed, 13 insertions, 0 deletions

diff --git a/test/regression/struct9.c b/test/regression/struct9.c
new file mode 100644
index 0000000..fae137c
--- /dev/null
+++ b/test/regression/struct9.c
@@ -0,0 +1,13 @@
+struct S1 {
+  unsigned char  f0;
+  short  f1;
+};
+
+struct S1 g_77 = {0x73,9};
+struct S1 * volatile g_85 = &g_77;
+struct S1 g_204 = {0xAD,0x9086};
+
+void func_1(void)
+{
+   *g_85 = g_204;
+}