Suppress GCC warning for no return after covered switch, and remove some
debugging code from an unreachable codepath.