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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3ef676faabcff187
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-04-29 04:28:06 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!fu-berlin.de!uni-berlin.de!62.2.203.231!not-for-mail
From: Vinzent Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: [GNAT] Option for chasing some uninitialized variables ?
Date: Tue, 29 Apr 2003 13:27:24 +0200
Organization: JeLlyFish software
Message-ID: <b8lnk5$bb4mn$1@ID-175126.news.dfncis.de>
References: <mailman.3.1051613316.9816.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: 62.2.203.231
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: fu-berlin.de 1051615685 11899607 62.2.203.231 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:36725
Date: 2003-04-29T13:27:24+02:00
List-Id: <comp.lang.ada>

"Gautier direct_replies_not_read" <gautier_niouzes@hotmail.com> wrote:

>Vinzent Hoefler:
>
>>You probably mean one of "pragma Normalize_Scalars", "pragma
>>Initialize_Scalars" and "-gnatv" (both GNAT-specific).
>
[...]
>Don't you mean rather "-gnatVa" (validity checking) instead
>of "-gnatv" (verbose) ?

Yes, of course.

>BTW, is there a way to set one of these pragmata with a command_line
>switch ?

No, not directly.

But if I understood that correctly, "pragma Normalize_Scalars" applies
to the whole program (partition), so it should be possible to set up
some package either from a "release/" and a "debug/" directory that
ex-/includes that pragma. The only thing you'd have to change then
would be the search path for the package. Well, it would require a
complete remake of the project each time then...

Another (perhaps easier but compiler specific und thus less portable)
solution would be to use GNAT's preprocessor gnatprep.


Vinzent.

--=20
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.