[clang] [analyzer] Improve dangling value tracking in DanglingPtrDeref (PR #211818)

Benedek Kaibas via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 27 07:50:19 PDT 2026


================
@@ -15,6 +15,10 @@ getDanglingRegionsAfterReturn(SVal Source, ProgramStateRef State,
 
 /// Returns true if the underlying MemRegion is deallocated.
 bool isDeallocated(ProgramStateRef State, const MemRegion *Region);
+
+/// Returns the descriptive name of the memory region or a placeholder if a
+/// descriptive name cannot be constructed for it.
----------------
benedekaibas wrote:

The placeholder comes from the `getRegionName` in case a descriptive name cannot be constructed from a `MemRegion`.

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


More information about the cfe-commits mailing list