| 308 | } |
| 309 | |
| 310 | expr Pointer::getLogAddress(bool simplify) const { |
| 311 | return getBlockBaseAddress(simplify) |
| 312 | + getOffset().sextOrTrunc(bits_ptr_address); |
| 313 | } |
| 314 | |
| 315 | expr Pointer::getAddress(bool simplify) const { |
| 316 | return mkIf_fold(isLogical(), getLogAddress(simplify), getPhysicalAddress()); |
no test coverage detected