[llvm] [CVP] Check whether the default case is reachable (PR #79993)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue Jan 30 04:59:11 PST 2024
================
@@ -1227,6 +1257,7 @@ CorrelatedValuePropagationPass::run(Function &F, FunctionAnalysisManager &AM) {
if (!Changed) {
PA = PreservedAnalyses::all();
} else {
+ assert(DT->verify());
----------------
nikic wrote:
We shouldn't unconditionally verify.
https://github.com/llvm/llvm-project/pull/79993
More information about the llvm-commits
mailing list