Reports a switch statement with an empty body, or with only one case branch, or with a default branch only.