Reports switch statements without default clause in case when not all possible values are enumerated.