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

Michael Flanders via cfe-commits cfe-commits at lists.llvm.org
Mon Jan 27 12:56:13 PST 2025


================
@@ -119,7 +120,26 @@ class MemRegion : public llvm::FoldingSetNode {
 
   virtual MemRegionManager &getMemRegionManager() const = 0;
 
-  LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion *getMemorySpace() const;
+  /// Deprecated. Gets the 'raw' memory space of a memory region's base region.
+  /// Deprecated in favor of the memory space trait which maps memory regions to
+  /// memory spaces, allowing dynamic updating of a memory region's memory
+  /// space.
+  /// @deprecated Use getMemorySpace(ProgramStateRef) instead.
----------------
Flandini wrote:

Thoughts on this deprecation comment vs deprecation attribute? I think there are probably too many current usages to mark it with an attribute.

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


More information about the cfe-commits mailing list