diff options
Diffstat (limited to 'cparser/Cutil.mli')
-rw-r--r-- | cparser/Cutil.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 35f7338f..9f59a764 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). *) |