| Add Proposal | Add Analysis | Edit Class, Environment, or Release |
| Number | 506
|
| Category | errata
|
| Synopsis | 4.5.1 Missing cases in signedness rules
|
| State | open
|
| Class | errata-discuss
|
| Arrival-Date | Nov 13 2003
|
| Originator | Steven Sharp <sharp@cadence.com>
|
| Release | 2001b
|
| Description |
Section 4.5.1 states that comparison results (1, 0) are unsigned, regardless of the operands. This is incomplete. The results of the &&, || and ! operators are also unsigned, regardless of the operands. I suppose that the meaning of "comparison" could be stretched, since these operators implicitly compare their operands to zero to decide whether they are true or false. However, most people would not assume that they were included. The 1-bit result of reduction operators is also unsigned, regardless of the operands. In all cases, operators for which all operands are self-determined have an unsigned result type. It is important that this be specified for them, because their type cannot be determined by the general rule that is based on operands. That determines the type based only on non-self-determined operands, and these operators don't have any. Steven Sharp sharp@cadence.com |
| Fix |
Unknown |
| Unformatted |
|
Hosted by Boyd Technology