From c677f108ff340c5bca67b428aa6e56b47f62da8c Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 28 Mar 2014 08:20:14 +0000
Subject: C: Support array initializers that are too short + default init for
 remainder. Elab: Handle C99 designated initializers. C2C, Initializers: more
 precise intermediate AST for initializers.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2439 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Unblock.ml | 24 ++++++++++++++----------
 1 file changed, 14 insertions(+), 10 deletions(-)

(limited to 'cparser/Unblock.ml')

diff --git a/cparser/Unblock.ml b/cparser/Unblock.ml
index c40da18e..34d8cf8e 100644
--- a/cparser/Unblock.ml
+++ b/cparser/Unblock.ml
@@ -35,19 +35,23 @@ let rec local_initializer loc env path init k =
         { edesc = EBinop(Oassign, path, e, path.etyp); etyp = path.etyp }
         k
   | Init_array il ->
-      let ty_elt =
+      let (ty_elt, sz) =
         match unroll env path.etyp with
-        | TArray(ty_elt, _, _) -> ty_elt
+        | TArray(ty_elt, Some sz, _) -> (ty_elt, sz)
         | _ -> fatal_error "%aWrong type for array initializer" 
                            formatloc loc in
-      let rec array_init pos = function
-        | [] -> k
-        | i :: il ->
-            local_initializer loc env
-              { edesc = EBinop(Oindex, path, intconst pos IInt, TPtr(ty_elt, []));
-                etyp = ty_elt }
-              i
-              (array_init (Int64.succ pos) il) in
+      let rec array_init pos il =
+        if pos >= sz then k else begin
+          let (i1, il') =
+            match il with
+            | [] -> (default_init env ty_elt, [])
+            | i1 :: il' -> (i1, il') in
+          local_initializer loc env
+            { edesc = EBinop(Oindex, path, intconst pos IInt, TPtr(ty_elt, []));
+              etyp = ty_elt }
+            i1
+            (array_init (Int64.succ pos) il')
+        end in
       array_init 0L il
   | Init_struct(id, fil) ->
       let field_init (fld, i) k =
-- 
cgit