Reports switch statements that do not contain default labels.