Re: errata/449: 4.1.4 -- expression evaluation short circuiting

From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Wed Aug 27 2003 - 04:50:00 PDT

  • Next message: Shalom Bresticker: "Re: enhancement/450: : Compressed Assignment Satements"

    Precedence: bulk

    The following reply was made to PR errata/449; it has been noted by GNATS.

    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
     
     
     

    This archive was generated by hypermail 2.1.4 : Wed Aug 27 2003 - 04:50:35 PDT and
    sponsored by Boyd Technology, Inc.