[clang] [NFC][analyzer] Eliminate SwitchNodeBuilder (PR #188096)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 30 08:53:17 PDT 2026


================
@@ -3154,7 +3156,18 @@ void ExprEngine::processSwitch(const SwitchStmt *Switch, ExplodedNode *Pred,
         continue;
     }
 
-    Builder.generateDefaultCaseNode(State, Node);
+    // Get the block for the default case.
+    const CFGBlock *Src = getCurrBlock();
+    assert(Src->succ_rbegin() != Src->succ_rend());
----------------
NagyDonat wrote:

I ended up completely omitting this assertion in a later change, but I can re-add it if you prefer.

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


More information about the cfe-commits mailing list