comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Ada.Containers and concurrent modification exception.
Date: Wed, 19 Sep 2018 19:05:56 +0100
Date: 2018-09-19T19:05:56+01:00	[thread overview]
Message-ID: <lyo9cticqj.fsf@pushface.org> (raw)
In-Reply-To: e8c3457f-a436-4226-971a-abd987a62376@googlegroups.com

rakusu_klein@fastmail.jp writes:

> On WinXP with GNAT GPL 2017 (20170515) (i686-pc-mingw32) I get the
> indefinite loop without “-gnata” and with this option — the same
> assertions as others have, which produces by the Vet procedure, which
> checks if a dead Node referring to itself. I don't think that
> necromancy is a good idea — the memory for a dead Node is actually
> free and may use for an other Node object, so what happens in that
> case?

Nothing good.

And it might be in use for something completely different, anyway!

  reply	other threads:[~2018-09-19 18:05 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-09-19 13:12 Ada.Containers and concurrent modification exception rakusu_klein
2018-09-19 15:22 ` Jacob Sparre Andersen
2018-09-19 16:05   ` Simon Wright
2018-09-19 16:08     ` Jacob Sparre Andersen
2018-09-19 16:47       ` Simon Wright
2018-09-19 16:31     ` Anh Vo
2018-09-19 17:23       ` Anh Vo
2018-09-19 17:37   ` rakusu_klein
2018-09-19 18:05     ` Simon Wright [this message]
2018-09-19 15:53 ` Simon Wright
2018-09-19 18:24   ` rakusu_klein
2018-09-21 23:27     ` Randy Brukardt
2018-09-22  1:09       ` rakusu_klein
2018-09-22  8:05         ` Dmitry A. Kazakov
2018-09-22 17:49           ` rakusu_klein
2018-09-22 19:50             ` Dmitry A. Kazakov
2018-09-24 21:47         ` Randy Brukardt
2018-09-25  6:04           ` Petter Fryklund
2018-09-25 22:32             ` Randy Brukardt
2018-09-26  5:01               ` Petter Fryklund
2018-09-19 20:16 ` Jeffrey R. Carter
2018-09-19 20:56   ` rakusu_klein
2018-09-21 23:21     ` Randy Brukardt
replies disabled

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