[clang] [NFC][analyzer] Remove the NodeBuilder from eagerly assume (PR #204371)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 19 07:30:52 PDT 2026


================
@@ -3719,20 +3719,20 @@ REGISTER_TRAIT_WITH_PROGRAMSTATE(LastEagerlyAssumeExprIfSuccessful,
 void ExprEngine::evalEagerlyAssumeBifurcation(ExplodedNodeSet &Dst,
                                               ExplodedNodeSet &Src,
                                               const Expr *Ex) {
-  NodeBuilder Bldr(Src, Dst, *currBldrCtx);
-
   for (ExplodedNode *Pred : Src) {
+    const StackFrame *SF = Pred->getStackFrame();
----------------
steakhal wrote:

Can we move SF closer to the use point?

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


More information about the cfe-commits mailing list