Re: errata/650: 9.7.6 does not explicitly say what happens if "wait" condition is x or z

From: Steven Sharp (sharp@cadence.com)
Date: Tue Feb 15 2005 - 10:40:00 PST

  • Next message: Shalom.Bresticker@freescale.com: "Re: errata/650: 9.7.6 does not explicitly say what happens if "wait" condition is x or z"

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

    From: Steven Sharp <sharp@cadence.com>
    To: etf-bugs@boyd.com, Shalom.Bresticker@freescale.com
    Cc:
    Subject: Re: errata/650: 9.7.6 does not explicitly say what happens if "wait" condition is x or z
    Date: Tue, 15 Feb 2005 13:51:01 -0500 (EST)

     9.6 does not specify what happens if a "while" condition is x or z either.
     It does specify it for a "for" condition.
     
     9.4 does define what it means for an expression to evaluate as "true" or
     "false". It does so in the context of "if" statements, but there is
     nothing to restrict the definition to that context. So that definition
     would apply to these other situations that refer to an expression being
     "true" or "false" also. It may not be the best organized, but I think
     it is specified.
     
     Steven Sharp
     sharp@cadence.com
     

    This archive was generated by hypermail 2.1.4 : Tue Feb 15 2005 - 10:40:09 PST and
    sponsored by Boyd Technology, Inc.