[clang] [NFCI][analyzer] Regularize NodeBuilder classes (PR #180960)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Thu Feb 12 02:54:04 PST 2026
================
@@ -425,12 +425,23 @@ void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
case Stmt::IndirectGotoStmtClass: {
// Only 1 successor: the indirect goto dispatch block.
assert(B->succ_size() == 1);
-
- IndirectGotoNodeBuilder
- builder(Pred, B, cast<IndirectGotoStmt>(Term)->getTarget(),
- *(B->succ_begin()), this);
-
- ExprEng.processIndirectGoto(builder);
+ NodeBuilderContext Ctx(*this, B, Pred);
+ ExplodedNodeSet Dst;
+ IndirectGotoNodeBuilder Builder(
+ Pred, Dst, Ctx, cast<IndirectGotoStmt>(Term)->getTarget(),
+ *(B->succ_begin()));
+
+ ExprEng.processIndirectGoto(Builder, Pred);
+ // Enqueue the new frontier onto the worklist.
+ llvm::errs() << "Pred location is ";
----------------
NagyDonat wrote:
No, they are absolutely not intentional :sweat_smile: Thanks for catching them!
https://github.com/llvm/llvm-project/pull/180960
More information about the cfe-commits
mailing list