Mantis 1610

Clarify when parallel and sequential blocks create new hierarchy scopes

P1800-2008/D4, 9.3.4

In Section 9.3.4

CHANGE

Both sequential and parallel blocks can be named by adding : name_of_block after the keywords begin or fork. The naming of blocks serves several purposes:

— It allows local variables, parameters, and named events to be referenced hierarchically, using the block name.

— It allows the block to be referenced in statements such as the disable statement (see 12.8).

TO

Both sequential and parallel blocks can be named by adding : name_of_block after the keywords begin or fork. A named block creates a new hierarchy scope. The naming of blocks serves several purposes:

— It allows local variables, parameters, and named events to be referenced hierarchically, using the block name.

— It allows the block to be referenced in statements such as the disable statement (see 12.89.6).

An unnamed block creates a new hierarchy scope only if it directly contains a block item declaration, such as a variable declaration or a type declaration. This hierarchy scope is unnamed and the items declared in it cannot be hierarchically referenced (see 6.21).