| 315 | } |
| 316 | |
| 317 | expr Byte::ptrByteoffset() const { |
| 318 | if (!does_ptr_mem_access) |
| 319 | return expr::mkUInt(0, bits_ptr_byte_offset()); |
| 320 | if (bits_ptr_byte_offset() == 0) |
| 321 | return expr::mkUInt(0, 1); |
| 322 | |
| 323 | unsigned start = padding_ptr_byte(); |
| 324 | return p.extract(bits_ptr_byte_offset() + start - 1, start); |
| 325 | } |
| 326 | |
| 327 | expr Byte::nonptrNonpoison() const { |
| 328 | if (!does_int_mem_access) |
no test coverage detected