[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