21 s.value() = s.value() * 2;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
void build_little_endian(const typet &) override
virtual void build_little_endian(const typet &type)
std::vector< size_t > map
const irep_idt & id() const
The type of an expression, extends irept.
std::optional< mp_integer > pointer_offset_bits(const typet &type, const namespacet &ns)
#define CHECK_RETURN(CONDITION)
Defines typet, type_with_subtypet and type_with_subtypest.