Module Locals_scoping


module Locals_scoping: sig .. end
Value analysis of statements and functions bodies

val remember_bases_with_locals : Locations.Location_Bits.Top_Param.t Pervasives.ref ->
Locations.location -> Cvalue.V.t -> unit
val warn_locals_escape : bool ->
Cil_types.fundec -> Base.t -> Locations.Location_Bytes.Top_Param.t -> unit
val warn_locals_escape_result : Cil_types.fundec -> Locations.Location_Bytes.Top_Param.t -> unit