I'm pretty sure we're on different pages here. Some languages can detect that there are unhandled cases in a selection statement (case, if etc). Those languages can enforce the handling of all cases, which to me at least renders the concept of a dangling case moot.

I didn't say that you'd leave the cases untested. I'm just saying that in some languages the compiler is more of an ally than in others.

I'll write to Galois and Praxis to tell them that they're disqualified from writing SIL-4 software.