Agreed.
From: Greg Jaxon [mailto:Greg.Jaxon@synopsys.com]
Sent: Monday, September 19, 2011 7:25 PM
To: Bresticker, Shalom
Cc: sv-bc@eda.org
Subject: Re: [sv-bc] RE: Mantis 1523 conditional operator with arrays
On 9/19/2011 5:04 AM, Bresticker, Shalom wrote:
[A]ccording to my experiments, where the cond_predicate is true or false, not ambiguous, the result is either the integral value with integral type, or the real value with real type. (No casting at all!) The text certainly does not describe that.
That violates the principle that one can ascertain the type of the whole conditional expression without knowing the (runtime) values being compared in the condition.
---------------------------------------------------------------------
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.Received on Mon Sep 19 10:12:36 2011
This archive was generated by hypermail 2.1.8 : Mon Sep 19 2011 - 10:12:41 PDT