FW: [sv-bc] E-mail Ballot: Respond by 8AM PST, Mon, Dec 10, 2007

Resend. 

-----Original Message-----
From: Bresticker, Shalom 
Sent: Wednesday, December 05, 2007 5:29 AM
To: 'Steven Sharp'; sv-bc@server.eda.org; Maidment, Matthew R
Subject: RE: [sv-bc] E-mail Ballot: Respond by 8AM PST, Mon, Dec 10,
2007

 

> >>SVDB 1345 _X_Yes   ___No
> >>http://www.eda.org/svdb/view.php?id=1345
> 
> I do think that 12.4.2 should say "after finding a true condition" 
> instead of "after finding a matching condition".
> Can we make this a friendly amendment?
> 
> Case-statements look for matches, while if-statements look for true 
> (though that could be regarded as "matching"
> non-zero).  The rest of this section refers to true conditions.  I 
> assume that this was just a copying error from the case section.

OK, sounds right.

 
> I am also not sure that 12.4.2 should be saying "evaluate and compare"
> instead of just "evaluate".  This may have come in from the case 
> section also.  Yes, there is an implicit compare to zero, but that is 
> just the definition of whether the condition is true or not, so I 
> don't think it needs specific mention.  It seems more likely to 
> confuse than help.
> However, I acknowledge that it is not wrong.

I wrote it this way because 'evaluate' means to compute the value of a
condition without necessary looking at the result. 'compare' was
intended to mean 'look at the result and decide whether it means true or
false'.

 
> It is still possible that this text could be misinterpreted as meaning

> that it executes the first true/matching statement *of the subset that

> it evaluated before finding a violation*.
>  However, it is hard to make it completely clear while leaving the 
> flexibility Gord requested.  Overall, I think that the proposed text 
> is quite good, and a definite improvement.

That is the reason that the statements

"The implementation shall issue a warning and execute the statement
associated with t the true condition that appears first in the if
statement, but not the statements associated with other true
conditions."

and

"The implementation shall issue a warning and execute the statement
associated with the matching case_item that appears first in the case
statement, but not the statements associated with other matching
case_items."

appear unconditionally before any mention of the short-circuiting.

Thanks,
Shalom
---------------------------------------------------------------------
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.

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