| 380 | } |
| 381 | |
| 382 | expr Pointer::addNoUSOverflow(const expr &offset, bool offset_only) const { |
| 383 | if (offset_only) |
| 384 | return getOffset().add_no_soverflow(offset); |
| 385 | return getAddress().add_no_usoverflow(offset.sextOrTrunc(bits_ptr_address)); |
| 386 | } |
| 387 | |
| 388 | expr Pointer::addNoUOverflow(const expr &offset, bool offset_only) const { |
| 389 | if (offset_only) |
no test coverage detected