Re: [GNAT] Option for chasing some uninitialized variables ?

[Vinzent Hoefler <ada.rocks@jlfencey.com>]

"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.

-- 
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.