[clang] [clang] Trigger checkLifetimeEnd callback from CFGLifetimeEnds element (PR #201123)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 2 07:18:46 PDT 2026


================
@@ -1140,6 +1143,19 @@ void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) {
     Engine.enqueueStmtNode(N, getCurrBlock(), currStmtIdx);
 }
 
+void ExprEngine::ProcessLifetimeEnd(const Stmt *S, const VarDecl *D,
+                                    ExplodedNode *Pred) {
+  ExplodedNodeSet Src;
+  NodeBuilder Bldr(Pred, Src, *currBldrCtx);
+  LifetimeEnd PP(S, D, Pred->getStackFrame());
+  Bldr.generateNode(PP, Pred->getState(), Pred);
+
+  ExplodedNodeSet Dst;
+  getCheckerManager().runCheckersForLifetimeEnd(Dst, Src, D, S, *this);
+  Engine.enqueueStmtNodes(Dst, currBldrCtx->getBlock(), currStmtIdx);
+  return;
----------------
steakhal wrote:

```suggestion
```

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


More information about the cfe-commits mailing list