[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