(j3.2006) statement labels and scope (correction)

[Robert Corbett]

On 01/14/16 15:19, Robert Corbett wrote:
> On 01/14/16 12:56, Bill Long wrote:
>> In 3.2.5 Statement labels we say that a statement label shall not be given to more than one statement ?in its scope?.  Since BLOCK constructs are scopes, if this is taken as stated, the following
>>
>> subroutine sub
>> 10 continue
>>
>> block
>> 10 continue
>> end block
>>
>> end subroutine sub
>>
>> should be conforming.  In, instead, we actually meant ?inclusive scope?, then it would not be.  Personally, I think that allowing this is preferred, and would not require a wording change.   But I?m checking because I see inconsistent behavior with different compilers.  (And this is in one of my clauses to read this time).
>
> We did mean inclusive scope.  The section on scopes makes this clear.
>
> Subclause 16.1 of 10-007r states
>
>         The scope of ... a local identifier is an inclusive scope.
                                                  ^^

Bob Corbett