comp.lang.ada
 help / color / mirror / Atom feed
From: Martin Krischik <krischik@users.sourceforge.net>
Subject: Re: What does -gnato do?
Date: Sun, 27 Aug 2006 10:55:20 +0200
Date: 2006-08-27T10:55:20+02:00	[thread overview]
Message-ID: <1636357.gWrtX1Nq9K@linux1.krischik.com> (raw)
In-Reply-To: Xns982BBFF651E2pchapinsovernet@198.186.192.137

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@users.sourceforge.net
Ada programming at: http://ada.krischik.com



  parent reply	other threads:[~2006-08-27  8:55 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-08-26 22:52 What does -gnato do? Peter C. Chapin
2006-08-27  1:51 ` Jeffrey R. Carter
2006-08-27  8:55 ` Martin Krischik [this message]
2006-08-27 11:12   ` Peter C. Chapin
2006-08-28 11:49     ` Stephen Leake
2006-08-28 21:35       ` Jeffrey R. Carter
2006-09-05 23:37       ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox