From: Emmanuel Briot <briot.emmanuel@gmail.com>
Subject: Re: pragmas in doubly linked lists
Date: Sun, 12 Feb 2023 23:22:10 -0800 (PST) [thread overview]
Message-ID: <a2e4dd42-6adb-415b-8baa-379a2b42439cn@googlegroups.com> (raw)
In-Reply-To: <5176a59b-9224-45a0-a803-df1acf8ab8c7n@googlegroups.com>
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.
In general, it is very dangerous to keep cursors outside of a very local context where you know exactly what is going on.
You could use vectors, instead of lists, and keep the corresponding index around (rather than a cursor directly) for instance.
But I would try and refactor the code to avoid having a container with cursors into another container, that seems fragile.
next prev parent reply other threads:[~2023-02-13 7:22 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 [this message]
2023-02-13 7:40 ` Mario Blunk
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