================ @@ -353,7 +352,7 @@ static std::string getRegionName(const SubRegion *Region) { return "the memory returned by 'alloca'"; if (isa<SymbolicRegion>(Region) && - isa<HeapSpaceRegion>(Region->getMemorySpace())) + isa<HeapSpaceRegion>(Region->getRawMemorySpace())) ---------------- NagyDonat wrote:
I think this should use `getMemorySpace(State)` if it's not too cumbersome to pass a state to this function. (However, this is not an important change, just marginal prettification of a report message.) 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