[Ada] Fix fallout of change in equality for untagged record types
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 16 Mar 2022 13:50:24 +0000 (14:50 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:06 +0000 (08:42 +0000)
commitb90e43dbbb2ba00ef2f8b2468fb09b43a12ae13d
tree018208736d69be937d7270ef6eae5f152422e335
parent7e0c853c6f6a2987ac7616cbfdd52bb41d598bd5
[Ada] Fix fallout of change in equality for untagged record types

The problem is that the resolution of expanded names implicitly assumes
that the visible and private homonyms in a given scope are segregated on
the homonym chain, and this was no longer the case for equality operators
in the specific case at stake.

gcc/ada/

* sem_ch7.adb (Inspect_Untagged_Record_Completion): Also move the
equality operator on the homonym chain if there is another equality
operator in the private part.
gcc/ada/sem_ch7.adb