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/Cutil.mli | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'cparser/Cutil.mli')

diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli
index 35f7338..9f59a76 100644
--- a/cparser/Cutil.mli
+++ b/cparser/Cutil.mli
@@ -207,3 +207,8 @@ val printloc: out_channel -> location -> unit
 val formatloc: Format.formatter -> location -> unit
   (* Printer for locations (for Format) *)
 
+(* Initializers *)
+
+val default_init: Env.t -> typ -> init
+  (* Return a default initializer for the given type
+     (with zero numbers, null pointers, etc). *)
-- 
cgit v1.2.3