https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89178
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |15.0 Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- https://gcc.gnu.org/g:e8e0306649a09f47c429b36b7fcf95eaff100095 commit r15-1492-ge8e0306649a09f47c429b36b7fcf95eaff100095 Author: Eric Botcazou <ebotca...@adacore.com> Date: Tue May 21 08:40:06 2024 +0200 ada: Fix composition of primitive equality for untagged records with variant part In Ada 2012, primitive equality operators of untagged record types compose like those of tagged record types, but this has never been implemented for untagged record types with a variant part. gcc/ada/ * exp_ch4.adb (Expand_Composite_Equality): In the untagged record case, always look for a user-defined equality operator in Ada 2012.