module Warn:sig
..end
val warn_locals_escape : bool -> Cil_types.fundec -> Base.t -> Base.Hptset.t -> unit
val warn_imprecise_lval_read : Cil_types.lval -> Locations.location -> Locations.Location_Bytes.t -> unit
val warn_right_exp_imprecision : Cil_types.lval -> Locations.location -> Cvalue.V.t -> unit