16 if(expr.
type().
id()!=ID_array)
17 throw "array_of must be array-typed";
36 const exprt &array_size=array_type.
size();
48 if(size*tmp.size()!=width)
49 throw "convert_array_of: unexpected operand width";
55 for(std::size_t j=0; j<tmp.size(); j++, offset++)
59 assert(offset==bv.size());
virtual bvt convert_array_of(const array_of_exprt &expr)
boolbv_widtht boolbv_width
bool is_unbounded_array(const typet &type) const override
const irep_idt & id() const
virtual const bvt & convert_bv(const exprt &expr)
void conversion_failed(const exprt &expr, bvt &bv)
const exprt & size() const
array constructor from single element
const array_typet & to_array_type(const typet &type)
Cast a generic typet to an array_typet.
Base class for all expressions.
const typet & subtype() const
std::vector< literalt > bvt