[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