From: Samuel Tardieu <sam@rfc1149.net>
Subject: Re: [GNAT] Option for chasing some uninitialized variables ?
Date: Tue, 29 Apr 2003 12:41:41 +0200
Date: 2003-04-29T12:41:41+02:00 [thread overview]
Message-ID: <877k9dio0q.fsf@inf.enst.fr> (raw)
In-Reply-To: mailman.2.1051611514.9816.comp.lang.ada@ada.eu.org
>>>>> "Gautier" == Gautier direct replies not read <Gautier> writes:
Gautier> I faintly remember that there is a debug option or
Gautier> pragma that gives an out-of-range value to uninitialized
Gautier> variables or record fields, when possible, so that the range
Gautier> check always raises Constraint_Error when such a value is
Gautier> used before it has been initialized. Can someone recall its
Gautier> name - if it exists ? I didn't find it in the docs. TIA!
You must be looking for "pragma Initialize_Scalars".
Sam
--
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/sam
next prev parent reply other threads:[~2003-04-29 10:41 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
2003-04-29 10:41 ` Samuel Tardieu [this message]
-- 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