sig
val sizeofchar : unit -> Integer.t
val sizeofpointer : unit -> int
val sizeof : Cil_types.typ -> Int_Base.t
val osizeof : Cil_types.typ -> Int_Base.t
exception Neither_Int_Nor_Enum_Nor_Pointer
val is_signed_int_enum_pointer : Cil_types.typ -> bool
val signof_typeof_lval : Cil_types.lval -> bool
val sizeof_vid : Cil_types.varinfo -> Int_Base.t
val sizeof_lval : Cil_types.lval -> Int_Base.t
val sizeof_pointed : Cil_types.typ -> Int_Base.t
val osizeof_pointed : Cil_types.typ -> Int_Base.t
val sizeof_pointed_lval : Cil_types.lval -> Int_Base.t
val max_bit_address : unit -> Abstract_interp.Int.t
val max_bit_size : unit -> Abstract_interp.Int.t
val pretty_bits :
Cil_types.typ ->
use_align:bool ->
align:Abstract_interp.Rel.t ->
rh_size:Integer.t ->
start:Integer.t ->
stop:Integer.t -> Format.formatter -> bool * Cil_types.typ option
type offset_match =
MatchType of Cil_types.typ
| MatchSize of Integer.t
| MatchFirst
exception NoMatchingOffset
val find_offset :
Cil_types.typ ->
offset:Integer.t ->
Bit_utils.offset_match -> Cil_types.offset * Cil_types.typ
end