Re: compiler settings in AdaGIDE

[sjw <simon.j.wright@mac.com>]

On Jul 26, 3:13 pm, Ada novice <po...@gmx.us> wrote:
> On Jul 25, 9:30 pm, "Jeffrey R. Carter"
>
> <spam.jrcarter....@spam.acm.org> wrote:
> > 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.
>
> Thanks. I understand. I would prefer to keep the -gnatn just to be
> safe.

-gnatp to suppress checks. -gnatn is about inlining.