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,8df81176cbd821cd X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!newsfeed2.dallas1.level3.net!news.level3.com!bos-service1.raytheon.com!dfw-service2.ext.ray.com.POSTED!53ab2750!not-for-mail From: Jeffrey Carter User-Agent: Mozilla Thunderbird 1.0.5 (Windows/20050711) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Range checking not working as expected? References: <1305313.0eqo9PA42Q@jellix.jlfencey.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Thu, 28 Jul 2005 09:25:59 -0700 NNTP-Posting-Host: 147.24.111.90 X-Complaints-To: news@ext.ray.com X-Trace: dfw-service2.ext.ray.com 1122567960 147.24.111.90 (Thu, 28 Jul 2005 11:26:00 CDT) NNTP-Posting-Date: Thu, 28 Jul 2005 11:26:00 CDT Organization: Raytheon Company Xref: g2news1.google.com comp.lang.ada:3821 Date: 2005-07-28T09:25:59-07:00 List-Id: Maciej Sobczak wrote: > > OK, it "works" now. It is still not what I'd expect - "the default in > Ada is safety", or something like this; I'd expect to actually need to > go into some troubles to disable such checking. But it is still good > that it works by default for non-border-case definitions like range > 1..10. I presume that in practice the Integer type is not widely used > and that typical ranges have limits dependent on the given domain and > not on some hardware specifics. The default for GNAT, unfortunately, is not Ada. IIRC, at one time overflow checking was "very expensive" on one platform GNAT supported, so they turned it off by default. I don't think that's the case any longer, but it's still turned off by default. -- Jeffrey Carter "Now go away or I shall taunt you a second time." Monty Python and the Holy Grail E-mail: jeffrey_r_carter-nr [commercial-at] raytheon [period | full stop] com