From: "Christoph Karl Walter Grein" <AdaMagica@web.de>
To: comp.lang.ada@ada-france.org
Subject: Re: Should be getting a constraint error in this code
Date: Mon, 26 Jul 2004 08:42:26 +0200
Date: 2004-07-26T08:42:26+02:00 [thread overview]
Message-ID: <mailman.43.1090824163.416.comp.lang.ada@ada-france.org> (raw)
Additionally to everything you've been told before consider RM 4.5(10). This paragraph allows a compiler to return the mathematically correct result for intermediate values even if it is out of range; only the final result must of course be in range.
Thus the sum 216 may be held in a register (which can have a larger base range).
I get the correct result 72 for your program unchanged compiled with and without -gnato; and also with and without pragma Unsuppress.
________________________________________________________________
Verschicken Sie romantische, coole und witzige Bilder per SMS!
Jetzt neu bei WEB.DE FreeMail: http://freemail.web.de/?mc=021193
next reply other threads:[~2004-07-26 6:42 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-07-26 6:42 Christoph Karl Walter Grein [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-07-24 2:32 Should be getting a constraint error in this code Keith Boruff
2004-07-24 3:33 ` Robert I. Eachus
2004-07-24 3:35 ` John B. Matthews
2004-07-24 15:08 ` Björn Persson
2004-07-25 13:54 ` Martin Krischik
2004-07-25 15:14 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox