From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,d679dd7e9c16805a X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!gnilink.net!wns13feed!worldnet.att.net!attbi_s21.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" User-Agent: Thunderbird 2.0.0.19 (Windows/20081209) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Selective suppression of warnings --- gnat on GNU/Linux References: <7a6baa71-80e8-4f3a-80b6-34935bda2fc0@r10g2000prf.googlegroups.com> <42ffjg.s9b.ln@hunter.axlog.fr> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 173.16.158.68 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s21 1230755092 173.16.158.68 (Wed, 31 Dec 2008 20:24:52 GMT) NNTP-Posting-Date: Wed, 31 Dec 2008 20:24:52 GMT Organization: AT&T ASP.att.net Date: Wed, 31 Dec 2008 20:24:52 GMT Xref: g2news2.google.com comp.lang.ada:4131 Date: 2008-12-31T20:24:52+00:00 List-Id: Robert A Duff wrote: > > More generally, it would also be nice to have a way to say, "Give me a > number that would be appropriate as the upper bound of an array whose > component type is T." The number would be guaranteed to be big enough > that you would get Storage_Error if you ever create an array that big. Isn't that approximated by System.Max_Int and System.Max_Binary_Modulus? On many modern processors and OSes, though, one could possibly have a packed array of Boolean with those bounds that would fit in the available memory. But since you can't create an integer type with more values, the desired effect would be impossible to achieve. -- Jeff Carter "Drown in a vat of whiskey. Death, where is thy sting?" Never Give a Sucker an Even Break 106