Module Cvalue.Default_offsetmap

module Default_offsetmap: sig .. end
Values bound by default to a variable.

val create_initialized_var : Cil_types.varinfo -> Base.validity -> Cvalue.V_Offsetmap.t -> Base.t
val default_offsetmap : Base.t -> [ `Bottom | `Map of Cvalue.V_Offsetmap.t ]