From: Matthew Heaney <matthewjheaney@earthlink.net>
Subject: Re: Update_Element Spec. in Containers.Indefinite_Hashed_Maps
Date: Wed, 21 Dec 2005 14:58:42 GMT
Date: 2005-12-21T14:58:42+00:00 [thread overview]
Message-ID: <uoe3axzry.fsf@earthlink.net> (raw)
In-Reply-To: 1135145025.24478.1.camel@sonnenregen
Georg Bauhaus <bauhaus@futureapps.de> writes:
> BTW, what is the state of -gnata WRT GNAT's Ada.Containers?
Works great. If you attempt to use a dangling cursor, then it should get
caught either by normal (non-assertion) checks, or by the extra checks enabled
by -gnata.
Also note that the indefinite forms will have better dangling-cursor detection,
since the container can take advantage of the fact that keys and elements are
allocated. (If the internal pointer is null, then that indicates a problem.)
A good rule-of-thumb is to temporarily switch to an indefinite form, if you're
having a problem that you think is container-related.
next prev parent reply other threads:[~2005-12-21 14:58 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-12-20 18:00 Update_Element Spec. in Containers.Indefinite_Hashed_Maps Anh Vo
2005-12-20 21:01 ` Randy Brukardt
2005-12-20 21:04 ` Georg Bauhaus
2005-12-20 21:15 ` Anh Vo
2005-12-21 3:21 ` Matthew Heaney
2005-12-21 6:03 ` Georg Bauhaus
2005-12-21 14:58 ` Matthew Heaney [this message]
2005-12-22 23:47 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox