From: "Gautier direct_replies_not_read" <gautier_niouzes@hotmail.com>
To: comp.lang.ada@ada.eu.org
Subject: [GNAT] Option for chasing some uninitialized variables ?
Date: Tue, 29 Apr 2003 10:17:56 +0000
Date: 2003-04-29T10:17:56+00:00 [thread overview]
Message-ID: <mailman.2.1051611514.9816.comp.lang.ada@ada.eu.org> (raw)
Hello!
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 ?
I didn't find it in the docs. TIA!
________________________________________________________
Gautier -- http://www.mysunrise.ch/users/gdm/gsoft.htm
NB: For a direct answer, e-mail address on the Web site!
_________________________________________________________________
MSN 8 helps eliminate e-mail viruses. Get 2 months FREE*.
http://join.msn.com/?page=features/virus
next reply other threads:[~2003-04-29 10:17 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-04-29 10:17 Gautier direct_replies_not_read [this message]
2003-04-29 10:32 ` [GNAT] Option for chasing some uninitialized variables ? Vinzent Hoefler
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