[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