From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: **
X-Spam-Status: No, score=2.1 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY,PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,32a9c4641bed19de
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: FY Ammo: Study about Security Bugs
Date: 1999/11/26
Message-ID: <81m5nu$da4$1@nnrp1.deja.com>#1/1
X-Deja-AN: 553277965
References: <slrn83qb10.kn.lutz@taranis.iks-jena.de>
 <m366yqk69o.fsf@kiuk0156.chembio.ntnu.no> <81k5oi$44k$1@nnrp1.deja.com>
 <m3yabltvy5.fsf@kiuk0156.chembio.ntnu.no>
 <slrn83ss7u.rae.gisle@kondor.ii.uib.no>
X-Http-Proxy: 1.0 x23.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Fri Nov 26 14:33:34 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-11-26T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <slrn83ss7u.rae.gisle@kondor.ii.uib.no>,
  gisle@kondor.ii.uib.no (Gisle S�lensminde) wrote:
> They are on by default

There is no concept of what default means in the RM, so this
is an incorrect statement. You have to check for each compiler
what options are required.

For instance, on GNAT, the default for elaboration checks is
to eliminate them at runtime by using the much safer static
elaboration approach. If you want the less safe but standard
RM dynamic checks, you must use -gnatE. We chose the default
here quite deliberately, because we think that most users should
be using the static elaboration scheme, at least for new code.



Sent via Deja.com http://www.deja.com/
Before you buy.