================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
