ISSUE 589

Add Proposal  Add Analysis  Edit Class, Environment, or Release
Number 589
Category enhancement
Synopsis x-pessimism for if statements
State open
Class enhancement
Arrival-DateJun 14 2004
Originator Shalom Bresticker <Shalom.Bresticker@freescale.com>
Release 2001b
Description
As is well known, in "if(cond)" statements, an x value on the condition is
always taken as false.

Many would like to see a way to propagate x values from if statements.

Because each branch of an if statement can contain any code, and there does not
have to be any connection
between the true and false branches, propagating x is not realistic in the
general case, but maybe it is possible
to define something which would work reasonably in the synthesizable subset.

Shalom

Fix

Unknown
Unformatted



Hosted by Boyd Technology