[llvm] [CVP] Check whether the default case is reachable (PR #79993)

[Nikita Popov via llvm-commits]

================
@@ -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