https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119643
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Summary|Subprogram parameter |replacement of Integer by
|subtypes in |Natural/Positive not
|renaming-as-declaration are |ignored in subprogram
|not ignored |renaming
Last reconfirmed| |2025-04-05
Status|UNCONFIRMED |NEW
CC| |ebotcazou at gcc dot gnu.org
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Hasty generalization though, as this happens only for the replacement of
Integer by Natural/Positive, in other words the following case:
subtype My_Positive is Integer range 1 .. Integer'Last;
function Incr (V : Integer; I : Integer := 1) return Integer is (V + I);
function Incr_Ren (V : Integer; I : My_Positive := 1) return My_Positive
renames Incr;
works as expected.
