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,75f197493b7ab882,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!feeder.erje.net!newsfeed.straub-nv.de!noris.net!nntp.ilk.net!not-for-mail
From: Markus Schoepflin <nospam@no.spam>
Newsgroups: comp.lang.ada
Subject: Forcing exceptions on NANs with GNAT?
Date: Thu, 20 Nov 2008 12:09:41 +0100
Organization: Customer of ILK Internet GmbH, Karlsruhe, Germany
Message-ID: <gg3ghl$koi$1@nntp.ilk.net>
NNTP-Posting-Host: csdc.comsoft.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: nntp.ilk.net 1227179381 21266 212.86.205.70 (20 Nov 2008 11:09:41
 GMT)
X-Complaints-To: usenet@ilk.net
NNTP-Posting-Date: Thu, 20 Nov 2008 11:09:41 +0000 (UTC)
User-Agent: Thunderbird 2.0.0.17 (Windows/20080914)
Xref: g2news2.google.com comp.lang.ada:3678
Date: 2008-11-20T12:09:41+01:00
List-Id: <comp.lang.ada>

Platform: Linux
Compiler: GCC/GNAT 3.4.3

Hello,

is it possible to influence the behaviour of GNAT regarding the handling of 
NANs? (Most importantly in the special case of division by zero.)

We need to get exceptions whenever a NAN is generated, is this possible 
somehow? (For example by setting Machine_Overflow to True and recompiling 
the compiler itself.)

Regards,
Markus