From c3c0aba2ed285bc33208cfc67667f47d6d1b0762 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 23 Aug 2016 10:50:48 +0200
Subject: Fix for initialization of incomplete types

Since some incomplete types are allowed in initialization just
test whether the default initilization exists.
Bug 19601
---
 cparser/Cutil.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cparser/Cutil.mli')

diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli
index 91b073ab..8d461e5c 100644
--- a/cparser/Cutil.mli
+++ b/cparser/Cutil.mli
@@ -244,6 +244,8 @@ val formatloc: Format.formatter -> location -> unit
   (* Printer for locations (for Format) *)
 
 (* Initializers *)
+exception No_default_init
+  (* Raised if no default initilaizer exists *)
 
 val default_init: Env.t -> typ -> init
   (* Return a default initializer for the given type
-- 
cgit