(j3.2006) Label DO statement

[John Reid]

B.3.10 of 17-007r1 [546:10-12]. Says

"The label in the DO statement is redundant with the construct name. 
Furthermore, the label allows unrestricted branches and, for its main 
purpose (the target of a conditional branch to skip the rest of the 
current iteration), is redundant with the CYCLE statement, which is 
clearer."

With the deletion of the nonblock DO, is it still correct to say that 
the label allows unrestricted branches? [191:37] says "It is permissible 
to branch to an end-do only from within its DO construct."

John.