Re: errata/321: Table 29, 4.1.14, 2.5.1(3) , 3.9 -- size of unsized numbers and integer variables

From: Shalom.Bresticker@motorola.com
Date: Wed Apr 09 2003 - 04:10:02 PDT

  • Next message: Shalom.Bresticker@motorola.com: "Re: errata/323: Some NOTES should be normative"

    Precedence: bulk

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

    From: Shalom.Bresticker@motorola.com
    To: Steven Sharp <sharp@cadence.com>
    Cc: etf-bugs@boyd.com
    Subject: Re: errata/321: Table 29, 4.1.14, 2.5.1(3) , 3.9 -- size of unsized
      numbers and integer variables
    Date: Wed, 9 Apr 2003 14:06:01 +0300 (IDT)

     On Mon, 7 Apr 2003, Steven Sharp wrote:
     
    > > I accept that as the intention. But strictly speaking, the LRM does not define
    > the "innate size" of unsized
    > > constants or expressions when they are parts of context-determined
    > expressions, only when they are
    > > self-determined.
    >
    > Which makes the title of Table 29 the closest one can describe to that
    > intended concept.
     
     Actually, the original title of Table 29, "Bit-lengths resulting from
     expressions" tries to express that the bit-lengths appearing in the table are
     the basis for computing the final bit-length of the expression.
      
    > Even the statement about the length isn't quite right. It should be
    > "made equal to the length of the longest of the <case_item> expressions
    > or the controlling expression." In other words, they are all made equal
    > to the longest of all. If the controlling expression is longer than all
    > of the case_items, then that length is used.
     
     The 1364 LRM says, "The length of all the case item expressions, as well as the
     case expression in the parentheses, shall be made equal to the length of the
     longest case expression and case item expression.", which is trying to say the
     right thing, but does not quite succeed.
     
     Shalom
     

    This archive was generated by hypermail 2.1.4 : Wed Apr 09 2003 - 04:10:51 PDT and
    sponsored by Boyd Technology, Inc.