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.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,57d25404e12d2837 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-01 06:37:09 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!lon1-news.nildram.net!newsfeed.freenet.de!news.rwth-aachen.de!not-for-mail From: "Alexander Boucke" Newsgroups: comp.lang.ada Subject: Re: How to catch NaNs with gnat3.14p Date: Fri, 1 Feb 2002 15:37:05 +0100 Organization: Lehr- und Forschungsgebiet f. Mechanik Message-ID: References: NNTP-Posting-Host: 134.130.177.111 X-Trace: nets3.rz.RWTH-Aachen.DE 1012574229 5278 134.130.177.111 (1 Feb 2002 14:37:09 GMT) X-Complaints-To: abuse@rwth-aachen.de NNTP-Posting-Date: 1 Feb 2002 14:37:09 GMT X-Newsreader: Microsoft Outlook Express Unix 5.00.2013.1312 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2013.1312 Xref: archiver1.google.com comp.lang.ada:19472 Date: 2002-02-01T14:37:09+00:00 List-Id: Preben Randhol wrote in message ... >I don't have 3.14p yes, so what does it say in the : Run-time Checks >part of the GNAT User Guide? In 3.13p it says: > >`-gnato' > Enables overflow checking for integer operations. This causes > GNAT to generate slower and larger executable programs by adding > code to check for both overflow and division by zero (resulting in > raising `Constraint_Error' as required by Ada semantics). Note > that the `-gnato' switch does not affect the code generated for > any floating-point operations; it applies only to integer > operations. For floating-point, GNAT has the `Machine_Overflows' > attribute set to `False' and the normal mode of operation is to > generate IEEE NaN and infinite values on overflow or invalid > operations (such as dividing 0.0 by 0.0). > > >-- >Preben Randhol �For me, Ada95 puts back the joy in programming.� This read similar in the gnat3.14p UG, but in the features-file included it says that gnat has now been modified so that all generated NaNs "will always fail any range check and cause Constraint_Error to be raised". That's what I was looking for. Regards, Alexander