[clang] [analyzer] Implemented the DanglingPtrDeref checker to detect use-after-scope lifetime errors (PR #209278)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 14 02:30:51 PDT 2026


================
@@ -97,10 +113,37 @@ void LifetimeModeling::checkPostCall(const CallEvent &Call,
   C.addTransition(State);
 }
 
+void LifetimeModeling::checkLifetimeEnd(const VarDecl *VD,
+                                        CheckerContext &C) const {
+  ProgramStateRef State = C.getState();
----------------
Xazax-hun wrote:

This is still unresolved?

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


More information about the cfe-commits mailing list