[clang] [nfc][analyzer] Add MemSpace trait to program state (PR #123003)

Michael Flanders via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 15 11:54:52 PST 2025


================
@@ -2404,8 +2414,10 @@ bool MallocChecker::SummarizeRegion(raw_ostream &os,
     return true;
   default: {
     const MemSpaceRegion *MS = MR->getMemorySpace();
+    const MemSpaceRegion *MSTrait = memspace::getMemSpaceTrait(State, MR);
----------------
Flandini wrote:

Changed

https://github.com/llvm/llvm-project/pull/123003


More information about the cfe-commits mailing list