Reports a switch statement without a default clause when some possible values are not enumerated.