Oops, I wrote "effected" when I meant "affected". Of course, despite reading
it several times before sending, I only noticed it after sending.

Edited version:

---

* libgnat/a-cohase.ads, libgnat/a-cohase.adb, libgnat/a-cohama.ads,
libgnat/a-cohama.adb, libgnat/a-cihama.ads, libgnat/a-cihama.adb: 
Ensure that Cursor objects always have their "Position" component set to
ensure predefined equality works as required; synchronize comments for the
Cursor type defintion across affected packages, and add comments to explain
the importance of updating the Position component.
* testsuite/gnat.dg/containers2.adb: New regression test to ensure that all
hashed containers obey predefined equality requirements for Cursor objects.

---

> -----Original Message-----
> From: Richard Wai <rich...@annexi-strayline.com>
> Sent: March 9, 2021 10:35 AM
> To: 'Arnaud Charlet' <char...@adacore.com>
> Cc: 'gcc-patches@gcc.gnu.org' <gcc-patches@gcc.gnu.org>; 'Bob Duff'
> <d...@adacore.com>
> Subject: RE: [PATCH] Ada: hashed container Cursor type predefined equality
> non-conformance
> 
> Hey Arno,
> 
> I forgot that last time as well! How about this:
> 
> ---
> 
> * libgnat/a-cohase.ads, libgnat/a-cohase.adb, libgnat/a-cohama.ads,
> libgnat/a-cohama.adb, libgnat/a-cihama.ads, libgnat/a-cihama.adb:
> Ensure that Cursor objects always have their "Position" component set to
> ensure predefined equality works as required; synchronize comments for
> the Cursor type defintion across effected packages, and add comments to
> explain the importance of updating the Position component.
> * testsuite/gnat.dg/containers2.adb: New regression test to ensure that
all
> hashed containers obey predefined equality requirements for Cursor
> objects.
> 
> ---
> 
> Thanks for your speedy review!
> 
> Richard
> 
> > -----Original Message-----
> > From: Arnaud Charlet <char...@adacore.com>
> > Sent: March 9, 2021 3:12 AM
> > To: Richard Wai <rich...@annexi-strayline.com>
> > Cc: gcc-patches@gcc.gnu.org; Arnaud Charlet <char...@adacore.com>; Bob
> > Duff <d...@adacore.com>
> > Subject: Re: [PATCH] Ada: hashed container Cursor type predefined
> > equality non-conformance
> >
> > Richard,
> >
> > Your patch is missing a corresponding commit log.
> >
> > Can you please add it to your submission? Otherwise your test and
> > patch look good so far, thanks!
> >
> > Arno
> >
> > > We discovered an issue with the GNAT implementation of the hashed
> > > container types.

Reply via email to