From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:ac8:5f87:0:b0:3bb:7885:476f with SMTP id j7-20020ac85f87000000b003bb7885476fmr2129102qta.139.1676274024143;
        Sun, 12 Feb 2023 23:40:24 -0800 (PST)
X-Received: by 2002:a05:6870:e887:b0:16e:151:1c70 with SMTP id
 q7-20020a056870e88700b0016e01511c70mr317874oan.63.1676274023867; Sun, 12 Feb
 2023 23:40:23 -0800 (PST)
Path: eternal-september.org!reader01.eternal-september.org!border-1.nntp.ord.giganews.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 12 Feb 2023 23:40:23 -0800 (PST)
In-Reply-To: <a2e4dd42-6adb-415b-8baa-379a2b42439cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=87.155.207.50; posting-account=3zVVBwoAAAC7BSMfgNP7DSbqU9urpt40
NNTP-Posting-Host: 87.155.207.50
References: <823bfde7-adb3-4cd2-adca-744cf676864an@googlegroups.com>
 <k3ibmiFodb6U1@mid.individual.net> <5176a59b-9224-45a0-a803-df1acf8ab8c7n@googlegroups.com>
 <a2e4dd42-6adb-415b-8baa-379a2b42439cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a237856d-89ad-4b88-9313-265baff2bab4n@googlegroups.com>
Subject: Re: pragmas in doubly linked lists
From: Mario Blunk <mario.blunk.gplus@gmail.com>
Injection-Date: Mon, 13 Feb 2023 07:40:24 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:64907
List-Id: <comp.lang.ada>

Emmanuel Briot schrieb am Montag, 13. Februar 2023 um 08:22:13 UTC+1:
> I believe the GNAT run time is still built without checks on. So it is qu=
ite possible that you have kept around cursors which=20
> are no longer valid (those cursors are direct access types in practice), =
and GNAT has no way to test that.=20
Thanks for your reply. All the cursors in my scenario are still valid. As f=
ar as I understood from John Barnes book Ada 2005, a cursor identifies the =
container and the item. In my case both the items and the containers still =
exist. So I assumed that collecting cursors in a list should work.