Re: Runtime check : what about you ?

["J-P. Rosen" <rosen@adalog.fr>]

Le 17/06/2011 20:59, Adam Beneschan a �crit :
Others have already said what I wanted to say...

An addition:
> And it was
> certainly part of the intent of Ada's designers that developers would
> develop their programs with checking turned on but then turn it off
> after the program has been tested and is ready to be put into
> production.
Definitely not. Don't forget that a pragma, including pragma suppress,
can be put in very limited scopes.

The intent is that IF you have identified the innermost loop that eats
up 90% of the computing time, and IF you have determined by careful
measurement that a significant part of it is taken by checks, and IF
your program cannot meet otherwise the performances from its
requirements, THEN you can include this loop into a block statement to
which a pragma suppress applies.


-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Adalog a d�m�nag� / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00