E_ACSL.Logic_aggr
Utilities function for aggregate types.
val get_array_typ_opt :
Frama_c_kernel.Cil_types.typ ->
(Frama_c_kernel.Cil_types.typ
* Frama_c_kernel.Cil_types.exp option
* Frama_c_kernel.Cil_types.attributes)
option
val get_t : Frama_c_kernel.Cil_types.typ -> t
get_t ty
returns Array
if ty
is an array type, StructOrUnion
if ty
is a struct or an union type and NotAggregate
otherwise.