================
@@ -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());
----------------
steakhal wrote:
Now that I review this, wouldn't `!Src->succs().empty()` be shorter and more
descriptive?
https://github.com/llvm/llvm-project/pull/188096
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
