sig
val is_bitfield : Cil_types.typ -> bool
val bitfield_size : Cil_types.typ -> Integer.t option
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
type fct_pointer_compatibility =
Compatible
| Incompatible
| Incompatible_but_accepted
val compatible_functions :
typ_pointed:Cil_types.typ ->
typ_fun:Cil_types.typ -> Eval_typ.fct_pointer_compatibility
val resolve_functions :
typ_pointer:Cil_types.typ ->
Cvalue.V.t -> Kernel_function.Hptset.t Eval.or_top * bool
val expr_contains_volatile : Cil_types.exp -> bool
val lval_contains_volatile : Cil_types.lval -> bool
end