[clang] [nfc][analyzer] Add MemSpace trait to program state (PR #123003)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Tue Jan 28 07:19:45 PST 2025
================
@@ -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
More information about the cfe-commits
mailing list