Go to the source code of this file.
◆ has_byte_operator()
bool has_byte_operator |
( |
const exprt & |
src | ) |
|
◆ lower_byte_extract()
rewrite byte extraction from an array to byte extraction from a concatenation of array index expressions
Definition at line 166 of file byte_operators.cpp.
◆ lower_byte_operators()
◆ lower_byte_update() [1/2]
◆ lower_byte_update() [2/2]
◆ unpack_rec()
static exprt unpack_rec |
( |
const exprt & |
src, |
|
|
bool |
little_endian, |
|
|
const exprt & |
max_bytes, |
|
|
const namespacet & |
ns, |
|
|
bool |
unpack_byte_array = false |
|
) |
| |
|
static |
rewrite an object into its individual bytes
- parameters: src object to unpack
- little_endian true, iff assumed endianness is little-endian max_bytes if not nil, use as upper bound of the number of bytes to unpack ns namespace for type lookups
- Returns
- array of bytes in the sequence found in memory
- Exceptions
-
flatten_byte_extract_exceptiont | Raised is unable to unpack the object because of either non constant size, byte misalignment or non-constant component width. |
Definition at line 32 of file byte_operators.cpp.