RE: [sv-bc] E-mail Ballot: Respond by Oct 14, 2007 8am PDT

>From: "Bresticker, Shalom" <shalom.bresticker@intel.com>

>Begin-end blocks form a scope if they contain declarations (even if
>unnamed) or if they are named (even if they do not contain
>declarations), don't they?
>
>If so, then it would be consistent for a labelled for-loop to create a
>scope even if it does not contain declarations.

Sure.

But that does not "name the implicit block created by the for loop."
It is covered by the next sentence that says "For other types of
statements, a statement label creates a named begin-end block around
the statement and creates a new hierarchy scope."  A for-loop that
did not contain declarations would be an "other type of statement"
and would therefore get a named begin-end block around it.

So it creates a scope, just not in the way being described.



>> >SVDB 1348 ___Yes   _X_No  
>> >http://www.eda.org/svdb/view.php?id=1348
>> 
>> I have a problem with the text
>> 
>> "A statement label on a for or foreach loop names the 
>> implicit block created by the for or foreach loop."
>> 
>> This implies that a for loop always creates an implicit 
>> block.  But it only creates an implicit block if it is the 
>> extended form that has variable declarations in the initializer.
>> 
>> I would suggest that this be changed to something like
>> 
>> "A statement label on a foreach loop, or on a for loop with 
>> variables declared as part of the for_initialization, names 
>> the implicit block created by the loop."
>---------------------------------------------------------------------
>Intel Israel (74) Limited
>
>This e-mail and any attachments may contain confidential material for
>the sole use of the intended recipient(s). Any review or distribution
>by others is strictly prohibited. If you are not the intended
>recipient, please contact the sender and delete all copies.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.