Go to the documentation of this file.
19 if(subtype.
id()==ID_unsignedbv ||
20 subtype.
id()==ID_signedbv ||
21 subtype.
id()==ID_c_bool)
25 return std::move(result);
31 const typet &sub_subtype=
35 sub_subtype.
id() == ID_signedbv || sub_subtype.
id() == ID_unsignedbv);
39 return std::move(result);
const c_enum_tag_typet & to_c_enum_tag_type(const typet &type)
Cast a typet to a c_enum_tag_typet.
const typet & subtype() const
The type of an expression, extends irept.
const union_typet & follow_tag(const union_tag_typet &) const
Follow type tag of union type.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Type for C bit fields These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (...
#define PRECONDITION(CONDITION)
const irep_idt & id() const
void set_width(std::size_t width)
std::size_t get_width() const
Base class of fixed-width bit-vector types.
typet c_bit_field_replacement_type(const c_bit_field_typet &src, const namespacet &ns)
const bitvector_typet & to_bitvector_type(const typet &type)
Cast a typet to a bitvector_typet.