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 17:47:08 +0100
Date: 2018-09-19T17:47:08+01:00	[thread overview]
Message-ID: <lysh25igdv.fsf@pushface.org> (raw)
In-Reply-To: 87in31tqp7.fsf@jacob-sparre.dk

Jacob Sparre Andersen <jacob@jacob-sparre.dk> writes:

> Simon Wright <simon@pushface.org> writes:
>
>> Jacob Sparre Andersen <jacob@jacob-sparre.dk> writes:
>>
>>> I've posted an executable example here:
>>>
>>> https://bitbucket.org/sparre/ada-2012-examples/src/default/src/container_tampering.adb
>>
>> On macOS this hangs. Also on debian stretch. No assertion failures.
>
> Even built with the project file?  Strange.  I'm running Debian/Stretch
> (9.5) here.

It hadn't even occurred to me that there might be a project file! I
don't use bitbucket (in spite of having relatives working at Atlassian)
and confused it with pastebin ...

OK, building with -gnata to enable assertions does indeed produce
assertion failures:

  $ ./container_tampering 
  ABC
  SYSTEM.ASSERTIONS.ASSERT_FAILURE: Position cursor of Next is bad
  SYSTEM.ASSERTIONS.ASSERT_FAILURE: Position cursor of function Key is bad

But, if I'd been writing the Containers, this would have been a
Program_Error; it's a disaster (and quite legal to reward erroneous code
with PE, too).

  reply	other threads:[~2018-09-19 16:47 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 [this message]
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
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