15.1 and "switch(0) case 0:"

[gs]

Hi,
Given the following code:

Code:

...
switch(0)
case 0:
...

does the example presented violate rule #15.1? Syntactically, the "switch(expression)" is followed by a "statement" and not necessarily a "compound statement" as stated in the rule. Therefore, can we correctly presume said code violates said rule?