Module Warn

module Warn: sig .. end
Alarms and imprecision warnings emitted during the analysis.

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