sig
type clobbered_set = { mutable clob : Base.SetLattice.t; }
val structural_descr : Structural_descr.t
val bottom : unit -> Locals_scoping.clobbered_set
val top : unit -> Locals_scoping.clobbered_set
val remember_bases_with_locals :
Locals_scoping.clobbered_set -> Base.SetLattice.t -> unit
val remember_if_locals_in_value :
Locals_scoping.clobbered_set -> Locations.location -> Cvalue.V.t -> unit
val offsetmap_contains_local : Cvalue.V_Offsetmap.t -> bool
val make_escaping :
exact:bool ->
escaping:Base.Hptset.t ->
on_escaping:(b:Base.t ->
itv:Integer.t * Integer.t -> v:Cvalue.V.t -> unit) ->
within:Base.SetLattice.t -> Cvalue.Model.t -> Cvalue.Model.t
val make_escaping_fundec :
Cil_types.fundec ->
Locals_scoping.clobbered_set ->
Cil_types.varinfo list -> Cvalue.Model.t -> Cvalue.Model.t
end