| 252 | } |
| 253 | |
| 254 | expr Pointer::getOffsetSizet() const { |
| 255 | auto off = getOffset(); |
| 256 | return bits_for_offset >= bits_size_t ? off : off.sextOrTrunc(bits_size_t); |
| 257 | } |
| 258 | |
| 259 | expr Pointer::getShortOffset() const { |
| 260 | return p.extract(bits_for_offset + bits_for_ptrattrs - 1, |
no test coverage detected