From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a02:c49:: with SMTP id
 g70-v6mr27618499jad.25.1537390618485;
        Wed, 19 Sep 2018 13:56:58 -0700 (PDT)
X-Received: by 2002:aca:af15:: with SMTP id y21-v6mr158308oie.6.1537390618394;
 Wed, 19 Sep 2018 13:56:58 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!x81-v6no162803ita.0!news-out.google.com!c63-v6ni140ith.0!nntp.google.com!x81-v6no162801ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 19 Sep 2018 13:56:58 -0700 (PDT)
In-Reply-To: <pnuaqh$psk$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=176.59.51.65;
 posting-account=-CxkpgoAAAC4sQudwZebWnArsZbT2lvS
NNTP-Posting-Host: 176.59.51.65
References: <c50e849d-d14c-425d-99f6-75dce5fc3927@googlegroups.com>
 <pnuaqh$psk$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <168a229f-55de-4cb1-8405-8771e132d3ad@googlegroups.com>
Subject: Re: Ada.Containers and concurrent modification exception.
From: rakusu_klein@fastmail.jp
Injection-Date: Wed, 19 Sep 2018 20:56:58 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:54382
Date: 2018-09-19T13:56:58-07:00
List-Id: <comp.lang.ada>

=D1=81=D1=80=D0=B5=D0=B4=D0=B0, 19 =D1=81=D0=B5=D0=BD=D1=82=D1=8F=D0=B1=D1=
=80=D1=8F 2018 =D0=B3., 23:16:18 UTC+3 =D0=BF=D0=BE=D0=BB=D1=8C=D0=B7=D0=BE=
=D0=B2=D0=B0=D1=82=D0=B5=D0=BB=D1=8C Jeffrey R. Carter =D0=BD=D0=B0=D0=BF=
=D0=B8=D1=81=D0=B0=D0=BB:
> The ARM covers this case in ARM A.18.4(76-80) [I am unable to access the =
current=20
> ARM right now, so I'm quoting from ISO/IEC 8652:2007, which should be sim=
ilar]:
>=20
> "A Cursor value is invalid if ... The node it designates has been deleted=
 from=20
> the map. The result of "=3D" or Has_Element is unspecified if these funct=
ions are=20
> called with an invalid cursor parameter. Execution is erroneous if any ot=
her=20
> subprogram declared in Containers.Hashed_Maps or Containers.Ordered_Maps =
is=20
> called with an invalid cursor parameter.
>=20
> So J is invalid and Next (J) is erroneous. ARM 1.1.5(10) defines erroneou=
s=20
> execution: "there is no language-specified bound on the possible effect o=
f=20
> erroneous execution; the effect is in general not predictable." In other =
words,=20
> this call can do anything.

That isn't right, even if it defined in reference manual. Depending on heap=
 usage, that https://pastebin.com/H73KZ8Ti mess will work for years and in =
one fine day may fail for unknown reason.