Reports switch statements without default branch