| 743 | } |
| 744 | |
| 745 | expr Pointer::isBlockAlive() const { |
| 746 | // NULL block is dead |
| 747 | if (has_null_block && !null_is_dereferenceable && getBid().isZero()) |
| 748 | return false; |
| 749 | |
| 750 | auto bid = getShortBid(); |
| 751 | return mkIf_fold(isLocal(), m.isBlockAlive(bid, true), |
| 752 | m.isBlockAlive(bid, false)); |
| 753 | } |
| 754 | |
| 755 | expr Pointer::getAllocType() const { |
| 756 | return getValue("blk_kind", m.local_blk_kind, m.non_local_blk_kind, |
no test coverage detected