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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b69d2b87c02b5151
X-Google-Attributes: gid103376,public
From: tmoran@bix.com
Subject: Re: Numerical exceptions not raised properly?
Date: 1999/11/01
Message-ID: <7hkT3.224$cn1.1641@typhoon-sf.snfc21.pbi.net>#1/1
X-Deja-AN: 543160019
References: <7vkgnl$u5@chronicle.concentric.net>
X-Complaints-To: abuse@pacbell.net
X-Trace: typhoon-sf.snfc21.pbi.net 941478083 207.214.211.201 (Mon,
 01 Nov 1999 09:41:23 PST)
Organization: SBC Internet Services
NNTP-Posting-Date: Mon, 01 Nov 1999 09:41:23 PST
Newsgroups: comp.lang.ada
Date: 1999-11-01T00:00:00+00:00
List-Id: <comp.lang.ada>

>It doesn't seem to raise an exception when X gets too big (ie, you can
>see it wrap negative, then it goes to zero and stays there).  When I try
>From the Gnat User's Guide:
"-gnato
   Enable other checks, not normally enabled by default, including
   numeric overflow checking, ..."
The Gnat compiler defaults to no checking in your program.  If you want
Ada 95 behavior, you must use the -gnato compilation option.