From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>
Subject: Re: compiler settings in AdaGIDE
Date: Sun, 25 Jul 2010 12:30:30 -0700
Date: 2010-07-25T12:30:30-07:00 [thread overview]
Message-ID: <i2i3to$asf$1@tornado.tornevall.net> (raw)
In-Reply-To: <02d1f899-ad8f-493b-8f64-3791868a1bdb@q35g2000yqn.googlegroups.com>
On 07/25/2010 06:29 AM, Ada novice wrote:
>
> 1. I see that you use -gnatnp. Is this safe to do so i.e. to suppress
> all checks?
No, but it is a little faster. You asked about maximizing speed, not about
safety. Of course, none of this is going to make a significant difference, as
you found out yourself. Significant speed changes come about from improved
algorithms. The correct approach is to implement correctly, clearly, and safely,
then measure against your timing requirements (which are unspecified), and only
make changes if the result fails to meet the timing requirements.
--
Jeff Carter
"I soiled my armor, I was so scared."
Monty Python & the Holy Grail
71
next prev parent reply other threads:[~2010-07-25 19:30 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-23 9:52 compiler settings in AdaGIDE Ada novice
2010-07-23 11:56 ` Gautier write-only
2010-07-23 14:23 ` Ada novice
[not found] ` <f72678ba-23ce-4c9a-b17e-b33fbd45300d@l14g2000yql.googlegroups.com>
2010-07-23 14:54 ` Georg Bauhaus
2010-07-23 15:16 ` Robert A Duff
2010-07-23 15:22 ` Georg Bauhaus
2010-07-23 16:51 ` sjw
2010-07-23 18:03 ` Robert A Duff
2010-07-23 18:27 ` Ada novice
2010-07-23 20:33 ` Simon Wright
2010-07-23 19:31 ` Dmitry A. Kazakov
2010-07-23 21:01 ` Robert A Duff
2010-07-23 22:32 ` Peter C. Chapin
2010-07-24 1:48 ` BrianG
2010-07-23 20:34 ` Simon Wright
2010-07-23 20:52 ` Robert A Duff
2010-07-24 10:30 ` Ada novice
2010-07-24 12:03 ` Robert A Duff
2010-07-24 12:36 ` Ada novice
2010-07-24 18:21 ` jonathan
2010-07-25 13:29 ` Ada novice
2010-07-25 19:30 ` Jeffrey R. Carter [this message]
2010-07-26 14:13 ` Ada novice
2010-07-26 15:48 ` sjw
2010-07-26 17:12 ` Dmitry A. Kazakov
2010-07-26 17:18 ` Ada novice
2010-07-25 22:57 ` jonathan
2010-07-26 14:12 ` Ada novice
2010-07-25 23:40 ` jonathan
2010-07-26 8:02 ` Making measurements (Was: compiler settings in AdaGIDE) Jacob Sparre Andersen
2010-07-26 9:57 ` jonathan
2010-07-26 13:50 ` Making measurements Jacob Sparre Andersen
2010-07-27 15:11 ` compiler settings in AdaGIDE Colin Paul Gloster
2010-08-01 16:39 ` Ada novice
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox