[clang] [NFCI][analyzer] Regularize NodeBuilder classes (PR #180960)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 11 08:42:34 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 ";
----------------
Xazax-hun wrote:

Are these log statements intentional?

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


More information about the cfe-commits mailing list