| 434 | } |
| 435 | |
| 436 | expr Pointer::isInbounds(bool strict) const { |
| 437 | auto offset = getOffsetSizet(); |
| 438 | auto size = blockSizeAlignedOffsetT(); |
| 439 | expr ret = strict ? offset.ult(size) : offset.ule(size); |
| 440 | if (bits_for_offset <= bits_size_t) // implied |
| 441 | ret &= !offset.isNegative(); |
| 442 | return ret; |
| 443 | } |
| 444 | |
| 445 | expr Pointer::inbounds(bool simplify_ptr) { |
| 446 | if (!simplify_ptr) |
no test coverage detected