18 return ID_byte_extract_little_endian;
21 return ID_byte_extract_big_endian;
35 return ID_byte_update_little_endian;
38 return ID_byte_update_big_endian;
Expression classes for byte-level operators.
Expression corresponding to op() where the bytes starting at position offset (given in number of byte...
struct configt::ansi_ct ansi_c
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
The type of an expression, extends irept.
#define UNREACHABLE
This should be used to mark dead code.
static irep_idt byte_extract_id()
byte_update_exprt make_byte_update(const exprt &_op, const exprt &_offset, const exprt &_value)
Construct a byte_update_exprt with endianness and byte width matching the current configuration.
static irep_idt byte_update_id()
byte_extract_exprt make_byte_extract(const exprt &_op, const exprt &_offset, const typet &_type)
Construct a byte_extract_exprt with endianness and byte width matching the current configuration.