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.
