23 const std::size_t new_size =
map.size() + width;
24 map.reserve(new_size);
26 for(std::size_t i =
map.size(); i < new_size; ++i)
32 if(src.
id() == ID_pointer)
The type of an expression.
const irep_idt & id() const
boolbv_widtht & boolbv_width
virtual void build_little_endian(const typet &type) override
virtual void build_big_endian(const typet &type) override
virtual void build_big_endian(const typet &type)
std::vector< size_t > map