15.3 The empty statement

An empty-statement does nothing.
empty-statement:
;
An empty statement is used when there are no operations to perform in a
context where a statement is
required.
Execution of an empty statement simply transfers control to the end point
of the statement. Thus, the end
point of an empty statement is reachable if the empty statement is
reachable.
[Example: An empty statement can be used when writing a while statement
with a null body:
bool ProcessMessage() {?}
C# LANGUAGE SPECIFICATION
180
void ProcessMessages() {
while (ProcessMessage())
;
}
Also, an empty statement can be used to declare a label just before the
closing ?}? of a block:
void F() {
?
if (done) goto exit;
?
exit: ;
}
end example]