A switch statement should always handle the default case. Either with explicit code if that is expected or an Abort/Assertion if that is not expected.