From: Vinzent Hoefler <ada.rocks@jlfencey.com>
Subject: Re: [GNAT] Option for chasing some uninitialized variables ?
Date: Tue, 29 Apr 2003 12:32:37 +0200
Date: 2003-04-29T12:32:37+02:00 [thread overview]
Message-ID: <b8lkde$bfsbi$1@ID-175126.news.dfncis.de> (raw)
In-Reply-To: mailman.2.1051611514.9816.comp.lang.ada@ada.eu.org
"Gautier direct_replies_not_read" <gautier_niouzes@hotmail.com> wrote:
>I faintly remember that there is a debug option or pragma
>that gives an out-of-range value to uninitialized variables
>or record fields, when possible, so that the range check always
>raises Constraint_Error when such a value is used before it has
>been initialized. Can someone recall its name - if it exists ?
You probably mean one of "pragma Normalize_Scalars", "pragma
Initialize_Scalars" and "-gnatv" (both GNAT-specific).
Vinzent.
next prev parent reply other threads:[~2003-04-29 10:32 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-04-29 10:17 [GNAT] Option for chasing some uninitialized variables ? Gautier direct_replies_not_read
2003-04-29 10:32 ` Vinzent Hoefler [this message]
2003-04-29 10:41 ` Samuel Tardieu
-- strict thread matches above, loose matches on Subject: below --
2003-04-29 10:47 Gautier direct_replies_not_read
2003-04-29 11:27 ` Vinzent Hoefler
2003-04-29 11:40 Gautier direct_replies_not_read
2003-04-29 11:49 ` Vinzent Hoefler
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox