| 352 | } |
| 353 | |
| 354 | expr Byte::byteNumber() const { |
| 355 | unsigned start = padding_nonptr_byte(); |
| 356 | return p.extract(start + size_byte_number() - 1, start); |
| 357 | } |
| 358 | |
| 359 | expr Byte::isPoison() const { |
| 360 | if (!does_int_mem_access) |
no test coverage detected