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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,57d25404e12d2837 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-02 04:49:53 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news.tele.dk!small.news.tele.dk!128.39.3.168!uninett.no!ntnu.no!not-for-mail From: Preben Randhol Newsgroups: comp.lang.ada Subject: Re: How to catch NaNs with gnat3.14p Date: Sat, 2 Feb 2002 12:49:52 +0000 (UTC) Organization: Norwegian university of science and technology Message-ID: References: <5ee5b646.0202012220.64dd228f@posting.google.com> NNTP-Posting-Host: kiuk0152.chembio.ntnu.no X-Trace: tyfon.itea.ntnu.no 1012654192 13648 129.241.83.78 (2 Feb 2002 12:49:52 GMT) X-Complaints-To: usenet@itea.ntnu.no NNTP-Posting-Date: Sat, 2 Feb 2002 12:49:52 +0000 (UTC) User-Agent: slrn/0.9.7.3 (Linux) Xref: archiver1.google.com comp.lang.ada:19523 Date: 2002-02-02T12:49:52+00:00 List-Id: On 1 Feb 2002 22:20:14 -0800, Robert Dewar wrote: > Preben Randhol wrote in message news: >> `-gnato' >> Enables overflow checking for integer operations. > > This is entirely irrelevant, as per your quote, this > relates to *integer* operations, it has nothing to do > with floating-point. So is this comment! I would appreciate if you didn't cut down my post in such a bad manner! I said: I don't have 3.14p yet, so what does it say in the : Run-time Checks part of the GNAT User Guide? In 3.13p it says: And then I included the snip from the User Guide which clearly states that the overflow is not checked for floats in 3.13p so if the User Guide says the same in 3.14p it must mean that there isn't any overflow checks in 3.14p for floats either. Preben