https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107309
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2022-10-22 Status|UNCONFIRMED |NEW Summary|GNAT does not apply type |GNAT does not apply type |conversion rules to |conversion to dependent |dependent expressions of |expressions of conditional |conditional expressions |expressions CC| |ebotcazou at gcc dot gnu.org Target Milestone|--- |13.0 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- The RM 4.5.7(10/3) rule is quite irregular but should be applied indeed.