Date: Wed Apr 09 2003 - 04:10:02 PDT
The following reply was made to PR errata/321; it has been noted by GNATS.
To: Steven Sharp <firstname.lastname@example.org>
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.
This archive was generated by hypermail 2.1.4
: Wed Apr 09 2003 - 04:10:51 PDT
sponsored by Boyd Technology, Inc.