https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119643
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:ecef0d7c53d59a701bc09e2df8fbec5d4c61267a commit r15-9394-gecef0d7c53d59a701bc09e2df8fbec5d4c61267a Author: Eric Botcazou <ebotca...@adacore.com> Date: Sat Apr 12 11:35:44 2025 +0200 Ada: Natural/Positive not ignored in subprogram renaming The language says that the profile of a subprogram renaming-as-declaration must be mode conformant with that of the renamed subprogram, and that the parameter subtypes are taken from the renamed subprogram. GNAT implements the rule, except when Natural and Positive are involved, which may lead to the wrong conclusion that it does not. gcc/ada/ PR ada/119643 * sem_ch8.adb (Inherit_Renamed_Profile): Add guard against the peculiarities of Natural and Positive. gcc/testsuite/ * gnat.dg/renaming17.adb: New test.
