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

[Quentin Dian via llvm-commits]

DianQK wrote:

> Hopefully, this helps understanding what's wrong. Please let me know if you have ideas on how to proceed or need a longer time to resolve the problem.

I looked at it briefly, and it seems to be a different example. That's useful. But I'm on vacation, so this is going to be a little slow. But with your IR, I think we should be close to an answer.


https://github.com/llvm/llvm-project/pull/79993