]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Hashed container Cursor type predefined equality non-conformance
authorRichard Wai <richard@annexi-strayline.com>
Mon, 15 Mar 2021 10:24:00 +0000 (06:24 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 28 Apr 2021 09:37:52 +0000 (05:37 -0400)
commit5b4b66291f2086f56dc3a1d7df494f901cd0b63e
tree91443a88a83b517dc2d0d808f76c79033c8b35f8
parentfccc47dddc2ee605dd7fce5c1d1711404e19cd7f
[Ada] Hashed container Cursor type predefined equality non-conformance

gcc/ada/

* libgnat/a-cohase.ads (Cursor): Synchronize comments for the Cursor
type definition to be consistent with identical definitions in other
container packages. Add additional comments regarding the importance of
maintaining the "Position" component for predefined equality.
* libgnat/a-cohama.ads (Cursor): Likewise.
* libgnat/a-cihama.ads (Cursor): Likewise.
* libgnat/a-cohase.adb (Find, Insert): Ensure that Cursor objects
always have their "Position" component set to ensure predefined
equality works as required.
* libgnat/a-cohama.adb (Find, Insert): Likewise.
* libgnat/a-cihama.adb (Find, Insert): Likewise.

gcc/testsuite/

* gnat.dg/containers2.adb: New test.
gcc/ada/libgnat/a-cihama.adb
gcc/ada/libgnat/a-cihama.ads
gcc/ada/libgnat/a-cohama.adb
gcc/ada/libgnat/a-cohama.ads
gcc/ada/libgnat/a-cohase.adb
gcc/ada/libgnat/a-cohase.ads
gcc/testsuite/gnat.dg/containers2.adb [new file with mode: 0644]