Re: [sv-bc] RE: Mantis 1523 conditional operator with arrays

From: Greg Jaxon <Greg.Jaxon@synopsys.com>
Date: Mon Sep 19 2011 - 09:25:03 PDT

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.

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Mon Sep 19 09:25:27 2011