From: "Alexander Boucke" <alexb@lufmech.rwth-aachen.de>
Subject: Re: How to catch NaNs with gnat3.14p
Date: Fri, 1 Feb 2002 17:10:28 +0100
Date: 2002-02-01T16:10:30+00:00 [thread overview]
Message-ID: <a3eelm$9sq$1@nets3.rz.RWTH-Aachen.DE> (raw)
In-Reply-To: slrna5lgle.oh.randhol+abuse@kiuk0152.chembio.ntnu.no
yes, -gnato says it's only for integers. But using -gnato is my default,
since this enables all runtime checks unsing gnat (as intended by the RM).
And since I did not exclude any checks using a pragma, all possible checks
should now be enabled.
Alexander
next prev parent reply other threads:[~2002-02-01 16:10 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-01 13:49 How to catch NaNs with gnat3.14p Alexander Boucke
2002-02-01 14:18 ` Preben Randhol
2002-02-01 14:37 ` Alexander Boucke
2002-02-01 14:55 ` Preben Randhol
2002-02-01 14:59 ` Alexander Boucke
2002-02-01 15:30 ` Preben Randhol
2002-02-01 16:10 ` Alexander Boucke [this message]
2002-02-01 16:10 ` Jeffrey Creem
2002-02-02 6:23 ` Robert Dewar
2002-02-02 6:21 ` Robert Dewar
2002-02-04 8:57 ` Alexander Boucke
2002-02-02 6:20 ` Robert Dewar
2002-02-02 12:49 ` Preben Randhol
2002-02-02 22:56 ` Robert Dewar
2002-02-01 20:22 ` Robert Dewar
2002-02-03 13:27 ` Marc A. Criley
2002-02-03 23:06 ` Robert Dewar
2002-02-04 13:05 ` Marc A. Criley
2002-02-05 1:06 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox