Re: [sv-bc] illegal priority if

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


>"A unique if shall be illegal if, for any such interleaving of evaluation and 
use of the conditions,
>more than one condition is true. For an illegal unique if, an implementation 
shall be required to issue a
>warning, unless it can demonstrate a legal interleaving so that no more than 
one condition is true."
>
>What is the meaning of this "illegality"?

I believe it is basically what the second sentence says: that the tool
must issue a warning.  Nothing else is required.  I am not fond of the
use of "illegal" here either.


Steven Sharp
sharp@cadence.com