exprt remove_const_function_pointerst::get_component_value(
const struct_exprt &struct_expr, const member_exprt &member_expr)
{
const struct_typet &struct_type=to_struct_type(ns.follow(struct_expr.type()));
size_t component_number=
struct_type.component_number(member_expr.get_component_name());
return struct_expr.operands()[component_number];
}
void boolbvt::convert_member(const member_exprt &expr, bvt &bv)
{
const exprt &struct_op=expr.struct_op();
const typet &struct_op_type=ns.follow(struct_op.type());
const bvt &struct_bv=convert_bv(struct_op);
if(struct_op_type.id()==ID_union)
{
bv=convert_bv(
byte_extract_exprt(byte_extract_id(),
struct_op,
gen_zero(integer_typet()),
expr.type()));
return;
}
else if(struct_op_type.id()==ID_struct)
{
const irep_idt &component_name=expr.get_component_name();
const struct_typet::componentst &components=
to_struct_type(struct_op_type).components();
unsigned offset=0;
for(struct_typet::componentst::const_iterator
it=components.begin();
it!=components.end();
it++)
{
const typet &subtype=it->type();
unsigned sub_width=boolbv_width(subtype);
if(it->get_name()==component_name)
{
if(!base_type_eq(subtype, expr.type(), ns))
{
#if 0
std::cout << "DEBUG " << expr.pretty() << "\n";
#endif
throw "member: component type does not match: "+
subtype.to_string()+" vs. "+
expr.type().to_string();
}
bv.resize(sub_width);
assert(offset+sub_width<=struct_bv.size());
for(unsigned i=0; i<sub_width; i++)
bv[i]=struct_bv[offset+i];
return;
}
offset+=sub_width;
}
throw "component "+id2string(component_name)+" not found in structure";
}
else
throw "member takes struct or union operand";
}
