From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ba4846af158825ee X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx01.iad01.newshosting.com!newshosting.com!207.69.154.102.MISMATCH!elnk-atl-nf2!newsfeed.earthlink.net!stamper.news.atl.earthlink.net!newsread2.news.atl.earthlink.net.POSTED!14bb18d8!not-for-mail Sender: Matthew Heaney@MHEANEYIBMT43 Newsgroups: comp.lang.ada Subject: Re: Update_Element Spec. in Containers.Indefinite_Hashed_Maps References: <1135101609.527495.321500@g49g2000cwa.googlegroups.com> <1135145025.24478.1.camel@sonnenregen> From: Matthew Heaney Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Wed, 21 Dec 2005 14:58:42 GMT NNTP-Posting-Host: 24.149.57.125 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.news.atl.earthlink.net 1135177122 24.149.57.125 (Wed, 21 Dec 2005 06:58:42 PST) NNTP-Posting-Date: Wed, 21 Dec 2005 06:58:42 PST Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: g2news1.google.com comp.lang.ada:6957 Date: 2005-12-21T14:58:42+00:00 List-Id: Georg Bauhaus 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.