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=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,32a9c4641bed19de X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: FY Ammo: Study about Security Bugs Date: 1999/11/26 Message-ID: <81m32q$bji$1@nnrp1.deja.com>#1/1 X-Deja-AN: 553262905 References: <81k5oi$44k$1@nnrp1.deja.com> X-Http-Proxy: 1.0 x26.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 13:48:10 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: In article , Preben Randhol wrote: > Which pragmas do one have to set to turn the checks on (if not > by default). Looked at the Annex L in RM, but it didn't make > it clearer. The RM model is that checks are on and can be optionally turned off. All Ada compilers must have a mode in which this required RM semantics is provided. Check with your vendor and/or read the vendor documentation to determine the details for this mode (note that the validation VSR shows what options were used for the validation tests, and this will of course also show how to operate in this mode). The RM has nothing to say about what "by default" might mean, since this is clearly an implementation dependent, OS dependent concept. In GNAT, there is a pragma Unsuppress (now being discussed for semi-standardization) that can be used either as a configuration pragma, or locally to ensure that checks are on, even if they were turned off at the command line level. Unsuppress has exactly the same form and usage as Suppress. Robert Dewar Ada Core Technologies Sent via Deja.com http://www.deja.com/ Before you buy.