12.3.3.4 Declaration statements
?If stmt is a declaration statement without initializers, then v has the
same definite assignment state at
the end point of stmt as at the beginning of stmt.
?If stmt is a declaration statement with initializers, then the definite
assignment state for v is
determined as if stmt were a statement list, with one assignment statement
for each declaration with
an initializer (in the order of declaration).
?If stmt is a declaration statement without initializers, then v has the
same definite assignment state at
the end point of stmt as at the beginning of stmt.
?If stmt is a declaration statement with initializers, then the definite
assignment state for v is
determined as if stmt were a statement list, with one assignment statement
for each declaration with
an initializer (in the order of declaration).