From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Ada.Containers and concurrent modification exception.
Date: Wed, 19 Sep 2018 10:23:17 -0700 (PDT)
Date: 2018-09-19T10:23:17-07:00 [thread overview]
Message-ID: <4cffa5e8-e810-4195-b9fa-d9b1ab60aa1f@googlegroups.com> (raw)
In-Reply-To: <8c3c2511-d521-4f06-9c6e-1a868ea2a2b4@googlegroups.com>
On Wednesday, September 19, 2018 at 9:31:43 AM UTC-7, Anh Vo wrote:
> On Wednesday, September 19, 2018 at 9:05:03 AM UTC-7, Simon Wright wrote:
> > 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.
>
> It also occurred on GNAT Community 2018 running on Windows 7 and Red Hat Enterprise Linux Workstation release 7.5 (Maipo)
Adding -gnata switch to compilation, the SYSTEM.ASSERTIONS.ASSERT_FAILURE was raised on both Windows and Red Hat.
This is compiler dependency. Should pragma Assertion_Policy(check) be used for consistency.
next prev parent reply other threads:[~2018-09-19 17:23 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 [this message]
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