21 for(std::vector<size_t>::const_iterator it=
map.begin();
46 map.reserve(new_size);
48 for(std::size_t i=
map.size(); i<new_size; ++i)
54 if(src.
id()==ID_symbol)
56 else if(src.
id()==ID_c_enum_tag)
58 else if(src.
id()==ID_unsignedbv ||
59 src.
id()==ID_signedbv ||
60 src.
id()==ID_fixedbv ||
61 src.
id()==ID_floatbv ||
62 src.
id()==ID_c_enum ||
63 src.
id()==ID_c_bit_field)
71 for(
size_t bit=0; bit<bits_int; bit++)
73 map.push_back(base+bits_int-1-bit);
76 else if(src.
id()==ID_struct)
81 for(struct_typet::componentst::const_iterator
89 else if(src.
id()==ID_array)
104 else if(src.
id()==ID_vector)
127 map.reserve(new_size);
129 for(std::size_t i=
map.size(); i<new_size; ++i)
The type of an expression.
const typet & follow(const typet &src) const
const componentst & components() const
mp_integer pointer_offset_bits(const typet &type, const namespacet &ns)
void build(const typet &type, bool little_endian)
const typet & follow_tag(const union_tag_typet &src) const
const irep_idt & id() const
const array_typet & to_array_type(const typet &type)
Cast a generic typet to an array_typet.
const c_enum_tag_typet & to_c_enum_tag_type(const typet &type)
Cast a generic typet to a c_enum_tag_typet.
void output(std::ostream &) const
A constant-size array type.
const exprt & size() const
const exprt & size() const
void build_big_endian(const typet &type)
const struct_typet & to_struct_type(const typet &type)
Cast a generic typet to a struct_typet.
std::vector< size_t > map
std::size_t integer2size_t(const mp_integer &n)
const typet & subtype() const
const vector_typet & to_vector_type(const typet &type)
Cast a generic typet to a vector_typet.
void build_little_endian(const typet &type)