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

via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 27 01:59:05 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.
----------------
isuckatcs wrote:

> or a placeholder if a descriptive name cannot be constructed for it.

Where do we construct this placeholder? Is it something handled by `MemRegion::getDescriptiveName()`?

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


More information about the cfe-commits mailing list