sig
val is_bitfield : Cil_types.typ -> bool
val cast_lval_if_bitfield :
Cil_types.typ -> Int_Base.t -> Cvalue.V.t -> Cvalue.V.t
val sizeof_lval_typ : Cil_types.typ -> Int_Base.t
val offsetmap_matches_type : Cil_types.typ -> Cvalue.V_Offsetmap.t -> bool
val need_cast : Cil_types.typ -> Cil_types.typ -> bool
end