Initializers: handle By_copy accesses (e.g. for &(glob.field))

C2C: insert the correct Evalof for structs; clean up unused memcpy stuff
test/regression: run with interpreter
test/regression: add test cas &(glob.field) to initializers.c


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

4 files changed, 21 insertions, 0 deletions

diff --git a/test/c/sha1.c b/test/c/sha1.c
index 7ea413a..84d0072 100644
--- a/test/c/sha1.c
+++ b/test/c/sha1.c
@@ -210,7 +210,9 @@ static void do_bench(int nblocks)
   struct SHA1Context ctx;
   unsigned char output[20];
   unsigned char data[64];
+  int i;
 
+  for (i = 0; i < 64; i++) data[i] = i;
   SHA1_init(&ctx);
   for (; nblocks > 0; nblocks--) 
     SHA1_add_data(&ctx, data, 64);
diff --git a/test/regression/Makefile b/test/regression/Makefile
index e9d0318..186bddd 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -44,4 +44,16 @@ test:
 	   fi; \
          done
 
+interp:
+	@for i in $(TESTS); do \
+           if $(CCOMP) -fall -interp 2>/dev/null $$i.c > _cinterp.log; then \
+             if cmp -s _cinterp.log Results/$$i; \
+             then echo "$$i: interpreter passed"; \
+             else echo "$$i: interpreter FAILED"; \
+             fi; \
+           else \
+             echo "$$i: interpreter undefined behavior"; \
+           fi; \
+         done
+
 bench:
diff --git a/test/regression/Results/initializers b/test/regression/Results/initializers
index 67460cc..d3fc91a 100644
--- a/test/regression/Results/initializers
+++ b/test/regression/Results/initializers
@@ -19,3 +19,4 @@ x18 = "Hello!"
 x19 = { "Hello", "world!" }
 x20 = { 'H', 'e', 'l', }
 x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, }
+x22 ok
diff --git a/test/regression/initializers.c b/test/regression/initializers.c
index a0913fd..f831c67 100644
--- a/test/regression/initializers.c
+++ b/test/regression/initializers.c
@@ -50,6 +50,8 @@ char x20[3] = "Hello!";
 
 char x21[10] = "Hello!";
 
+char * x22 = &(x10.u.y);
+
 static void print_chars(char * s, int sz)
 {
   int i;
@@ -106,6 +108,10 @@ int main()
   printf("x21 = { ");
   print_chars(x21, sizeof(x21));
   printf("}\n");
+  if (x22 == &(x10.u.y))
+    printf("x22 ok\n");
+  else
+    printf("x22 error\n");
   return 0;
 }