================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
