| Add Proposal | Add Analysis | Edit Class, Environment, or Release |
| Number | 449
|
| Category | errata
|
| Synopsis | 4.1.4 -- expression evaluation short circuiting
|
| State | open
|
| Class | errata-discuss
|
| Arrival-Date | Aug 26 2003
|
| Originator | "Brad Pierce" <Brad.Pierce@synopsys.com>
|
| Release | 2001b: 4.1.4
|
| Environment |
see #288 |
| Description |
According to 4.1.4, "if the final result of an expression can be determined early, the entire expression need not be evaluated." Is this "short-circuiting" allowed even when the unevaluated subexpressions have side effects? Also, the example would be a little clearer if the operands were reversed, that is, result = ( regB | regC ) & regA ; -- Brad |
| Fix |
|
| Audit-Trail |
From: Shalom Bresticker <Shalom.Bresticker@motorola.com> To: Brad Pierce <Brad.Pierce@synopsys.com> Cc: etf-bugs@boyd.com Subject: Re: errata/449: 4.1.4 -- expression evaluation short circuiting Date: Wed, 27 Aug 2003 14:45:26 +0300 Brad, I believe this expands on issue #288, so perhaps it would be better to deal with them together in one issue. Shalom > According to 4.1.4, "if the final result of an expression can be > determined early, the entire expression need not be evaluated." > > Is this "short-circuiting" allowed even when the unevaluated > subexpressions have side effects? > > Also, the example would be a little clearer if the operands > were reversed, that is, > > result = ( regB | regC ) & regA ; -- Shalom Bresticker Shalom.Bresticker@motorola.com Design & Reuse Methodology Tel: +972 9 9522268 Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478 |
| Unformatted |
|
Hosted by Boyd Technology