comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Data_Error - GNAT -O3 problem
Date: 1998/08/07
Date: 1998-08-07T00:00:00+00:00	[thread overview]
Message-ID: <dewar.902463189@merv> (raw)
In-Reply-To: 6qcmnc$t8u$1@nnrp1.dejanews.com

<<My apologies, this is definitely an open-mouth-insert-foot situation. I reran
the problematic piece of code later and realized this is not the case. What
happened (and confused me first thing in the morning :) is GNAT apparently is
calculating NaNs without optimization, but raises Constraint_Error instead
with -O3 enabled. No problem, it's all fine and legal as far as I can tell.
However, I would like to know why there is this difference in the use of
NaNs, since it really messes with error handling mechanisms.
>>


Sounds like your program may well be erroneous! It is often the case that
programs that behave differently in different optimization modes are in
fact erroneous, and hence that a change in behavior with optimization
levels is perfectly legitimate.





  reply	other threads:[~1998-08-07  0:00 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-08-06  0:00 Data_Error - GNAT -O3 problem arthurw
1998-08-06  0:00 ` Samuel Tardieu
1998-08-06  0:00   ` arthurw
1998-08-06  0:00 ` arthurw
1998-08-07  0:00   ` Robert Dewar [this message]
1998-08-07  0:00 ` David Coote
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox