One ugly trick for unreachable branches is this:

    assert(!"You gave an invalid letter");

The string literal is a pointer, so !pointer is false. And then you get a nice explanation message when the assertion fails. I wish all assert gave optional explanation messages.