Module Cvalue.Default_offsetmap


module Default_offsetmap: sig .. end

val initialized_var_table : Cvalue.V_Offsetmap.t Cil_datatype.Varinfo.Hashtbl.t
val create_initialized_var : Cil_datatype.Varinfo.Hashtbl.key ->
Base.validity -> Cvalue.V_Offsetmap.t -> Base.t
val default_offsetmap : Base.t -> Cvalue.V_Offsetmap.t