18 if(subtype.
id()==ID_unsignedbv ||
19 subtype.
id()==ID_signedbv ||
20 subtype.
id()==ID_c_bool)
26 else if(subtype.
id()==ID_c_enum_tag)
28 const typet &sub_subtype=
31 if(sub_subtype.
id()==ID_signedbv ||
32 sub_subtype.
id()==ID_unsignedbv)
The type of an expression.
typet c_bit_field_replacement_type(const c_bit_field_typet &src, const namespacet &ns)
const typet & follow_tag(const union_tag_typet &src) const
const irep_idt & id() const
const c_enum_tag_typet & to_c_enum_tag_type(const typet &type)
Cast a generic typet to a c_enum_tag_typet.
Base class of bitvector types.
std::size_t get_width() const
const typet & subtype() const
void set_width(std::size_t width)
const bitvector_typet & to_bitvector_type(const typet &type)
Cast a generic typet to a bitvector_typet.