| 307 | } |
| 308 | |
| 309 | expr Byte::ptrValue() const { |
| 310 | if (!does_ptr_mem_access) |
| 311 | return expr::mkUInt(0, Pointer::totalBits()); |
| 312 | |
| 313 | auto start = bits_ptr_byte_offset() + padding_ptr_byte(); |
| 314 | return p.extract(Pointer::totalBits() + start - 1, start); |
| 315 | } |
| 316 | |
| 317 | expr Byte::ptrByteoffset() const { |
| 318 | if (!does_ptr_mem_access) |
no test coverage detected