Fixed regression on initializers of the form T x[N] = "literal";

  where T is a typedef for a character type.


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

2 files changed, 8 insertions, 0 deletions

diff --git a/test/regression/Results/initializers b/test/regression/Results/initializers
index a263012..5956fd9 100644
--- a/test/regression/Results/initializers
+++ b/test/regression/Results/initializers
@@ -22,3 +22,4 @@ x20 = { 'H', 'e', 'l', }
 x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, }
 x22 ok
 x23 = { hd = 8, tl = ok }
+x24[6] = { '/', '*', 'B', '*', '/', 0, }
diff --git a/test/regression/initializers.c b/test/regression/initializers.c
index 938795a..3524793 100644
--- a/test/regression/initializers.c
+++ b/test/regression/initializers.c
@@ -57,6 +57,10 @@ char * x22 = &(x10.u.y);
 /* Initializer can refer to ident just declared */
 struct list { int hd; struct list * tl; } x23 = { sizeof(x23), &x23 };
 
+/* Watch out for aliases of char types */
+typedef unsigned char byte;
+byte x24[] = "/*B*/";
+
 static void print_chars(char * s, int sz)
 {
   int i;
@@ -120,6 +124,9 @@ int main()
     printf("x22 error\n");
   printf("x23 = { hd = %d, tl = %s }\n",
          x23.hd, x23.tl == &x23 ? "ok" : "ERROR");
+  printf("x24[%d] = { ", (int) sizeof(x24));
+  print_chars((char *) x24, sizeof(x24));
+  printf("}\n");
   return 0;
 }