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

[Donát Nagy via cfe-commits]

================
@@ -948,8 +948,8 @@ SVal SimpleSValBuilder::evalBinOpLL(ProgramStateRef state,
 
     const MemRegion *LeftBase = LeftMR->getBaseRegion();
     const MemRegion *RightBase = RightMR->getBaseRegion();
-    const MemSpaceRegion *LeftMS = LeftBase->getMemorySpace();
-    const MemSpaceRegion *RightMS = RightBase->getMemorySpace();
+    const MemSpaceRegion *LeftMS = LeftBase->getRawMemorySpace();
+    const MemSpaceRegion *RightMS = RightBase->getRawMemorySpace();
----------------
NagyDonat wrote:

I think it would be better to use the non-raw memory space here, if possible.

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