================ @@ -437,7 +437,7 @@ bool SymbolReaper::isLiveRegion(const MemRegion *MR) { // tell if anything still refers to this region. Unlike SymbolicRegions, // AllocaRegions don't have associated symbols, though, so we don't actually // have a way to track their liveness. - return isa<AllocaRegion, CXXThisRegion, MemSpaceRegion, CodeTextRegion>(MR); + return isa<AllocaRegion, CXXThisRegion, CodeTextRegion>(MR); ---------------- steakhal wrote:
I'd say, probably its unlikely that someone would query if a memspace is alive or not. You can only get a memspace if you directly ask for it using the `getMemorySpace()`. `getBaseRegion()` is not enough. So my guess is that this part could be even dead. Could you put an assert there that MR is never a memregion to see if this is ever called with one? https://github.com/llvm/llvm-project/pull/123003 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits