From 329b44b4864eeefb5f935282c3fe6c025bc1c8bc Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 8 May 2014 07:52:46 +0000
Subject: 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
---
 test/regression/Results/initializers | 1 +
 test/regression/initializers.c       | 7 +++++++
 2 files changed, 8 insertions(+)

(limited to 'test')

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;
 }
 
-- 
cgit v1.2.3