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.
