RE: errata/273: LRM does not specify result of real division by 0

From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Sat Jan 25 2003 - 11:20:01 PST

  • Next message: Shalom.Bresticker@motorola.com: "RE: errata/273: LRM does not specify result of real division by 0"

    Precedence: bulk

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

    From: "Brad Pierce" <Brad.Pierce@synopsys.com>
    To: <etf-bugs@boyd.com>
    Cc:
    Subject: RE: errata/273: LRM does not specify result of real division by 0
    Date: Sat, 25 Jan 2003 11:18:17 -0800

    >The case of real division by 0 should be specified.
    >There are two cases: regular division by 0.0 and 0.0/0.0 .
     
     In floating-point arithmetic, the regular division would
     be an Inf of the appropriate sign and the 0.0/0.0 would be
     a NaN of the appropriate sign.
     
     -- Brad
     
     

    This archive was generated by hypermail 2.1.4 : Sat Jan 25 2003 - 11:36:02 PST and
    sponsored by Boyd Technology, Inc.