errata/449: 4.1.4 -- expression evaluation short circuiting

From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Tue Aug 26 2003 - 17:15:09 PDT

  • Next message: Brad Pierce: "Re: enhancement/442: Add auto-increment and auto-decrement statements"

    Precedence: bulk

    >Number: 449
    >Category: errata
    >Originator: "Brad Pierce" <Brad.Pierce@synopsys.com>
    >Environment:
    >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

    This archive was generated by hypermail 2.1.4 : Tue Aug 26 2003 - 17:20:48 PDT and
    sponsored by Boyd Technology, Inc.