C# Language Specification

Do statements

For a do statement stmt of the form:

do do-body while ( expr ) ;

• 
  v has the same definite assignment state on the control flow transfer from the beginning of stmt to do-body as at the beginning of stmt.
  
• 
  v has the same definite assignment state at the beginning of expr as at the end point of do-body.
  
• 
  If v is definitely assigned at the end of expr, then it is definitely assigned on the control flow transfer to the end point of stmt.
  
• 
  If v has the state “definitely assigned after false expression” at the end of expr, then it is definitely assigned on the control flow transfer to the end point of stmt.
  

9. For statements

Definite assignment checking for a for statement of the form:

for ( for-initializer ; for-condition ; for-iterator ) embedded-statement

is done as if the statement were written:

{
for-initializer ;

while ( for-condition ) {
embedded-statement ;
for-iterator ;
}
}

If the for-condition is omitted from the for statement, then evaluation of definite assignment proceeds as if for-condition were replaced with true in the above expansion.

10.