help / color / mirror / Atom feed
From: Mario Blunk <>
Subject: Re: pragmas in doubly linked lists
Date: Sun, 12 Feb 2023 23:40:23 -0800 (PST)	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <>

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 quite possible that you have kept around cursors which 
> are no longer valid (those cursors are direct access types in practice), and GNAT has no way to test that. 
Thanks for your reply. All the cursors in my scenario are still valid. As far 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.

  reply	other threads:[~2023-02-13  7:40 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-01-26 18:25 pragmas in doubly linked lists L. B.
2023-01-27 16:16 ` Niklas Holsti
2023-02-11  8:13   ` Mario Blunk
2023-02-13  7:22     ` Emmanuel Briot
2023-02-13  7:40       ` Mario Blunk [this message]
2023-02-13  7:43         ` Emmanuel Briot
2023-03-29 16:46           ` Mario Blunk
2023-04-19  7:17             ` Mario Blunk
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox