Module Eval_typ

module Eval_typ: sig .. end
This module contains functions related to type conversions


This module contains functions related to type conversions
val is_bitfield : Cil_types.typ -> bool
Bitfields
val cast_lval_if_bitfield : Cil_types.typ -> Int_Base.t -> Cvalue.V.t -> Cvalue.V.t
if needed, cast the given abstract value to the given size. Useful to handle bitfield. The type given as argument must be the type of the l-value the abstract value is written into, which is of size size.
val sizeof_lval_typ : Cil_types.typ -> Int_Base.t
Size of the type of a lval, taking into account that the lval might have been a bitfield.
val offsetmap_matches_type : Cil_types.typ -> Cvalue.V_Offsetmap.t -> bool
offsetmap_matches_type t o returns true if either:
val need_cast : Cil_types.typ -> Cil_types.typ -> bool