Add Proposal | Add Analysis | Edit Class, Environment, or Release |
Number | 589
|
Category | enhancement
|
Synopsis | x-pessimism for if statements
|
State | open
|
Class | enhancement
|
Arrival-Date | Jun 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