diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 10:50:48 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 10:50:48 +0200 |
| commit | c3c0aba2ed285bc33208cfc67667f47d6d1b0762 (patch) | |
| tree | 666ace2761c58fde7fabd3668dda1d29540def5e /cparser/Cutil.mli | |
| parent | e829671ab99a98dca212c6f29d29b952dbc1fa80 (diff) | |
| download | compcert-kvx-c3c0aba2ed285bc33208cfc67667f47d6d1b0762.tar.gz compcert-kvx-c3c0aba2ed285bc33208cfc67667f47d6d1b0762.zip | |
Fix for initialization of incomplete types
Since some incomplete types are allowed in initialization just
test whether the default initilization exists.
Bug 19601
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 2 |
1 files changed, 2 insertions, 0 deletions
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 |