| 313 | } |
| 314 | |
| 315 | expr Pointer::getAddress(bool simplify) const { |
| 316 | return mkIf_fold(isLogical(), getLogAddress(simplify), getPhysicalAddress()); |
| 317 | } |
| 318 | |
| 319 | expr Pointer::getPhysicalAddress() const { |
| 320 | return p.extract(bits_for_ptrattrs + bits_ptr_address - 1, bits_for_ptrattrs); |
no outgoing calls
no test coverage detected