sig
  val warn_locals_escape :
    bool -> Cil_types.fundec -> Base.t -> Base.SetLattice.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
end