| Synopsis: | Statements must not be labelled. |
| Language: | C |
| Severity Level: | 5 |
| Category: | STATEMENTS |
| Description: |
| The only reason for using a labelled statement is to jump to it. Such jumps are forbidden. This also detects an obscure error in switch statements if the keyword case is inadvertently left out, leaving a construction which may resemble a label. |