Re: What does -gnato do?

Peter C. Chapin wrote:

C:\home\Languages\Ada>gnatmake check.adb
gcc -c check.adb
check.adb:6:11: warning: value not in range of type "Standard.Integer"
check.adb:6:11: warning: "Constraint_Error" will be raised at run time
gnatbind -x check.ali
gnatlink check.ali

-gnato enables runtime checks but the warning results from a compile time
check. The ability to make quite a lot of checks at compile time - rather
then runtime - is a is one great advantage of the Ada Syntax and Sematic:

Compile time check do not reduce performace of the final application :-)
they might however increase performance :-)) and thefore there is really no
need to disable them.

Martin
--
mailto://krischik@xxxxxxxxxxxxxxxxxxxxx
Ada programming at: http://ada.krischik.com
.