diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2025-04-12 11:35:44 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2025-04-12 11:37:53 +0200 |
| commit | ecef0d7c53d59a701bc09e2df8fbec5d4c61267a (patch) | |
| tree | bd5b5d0e591862b69635f4c726ac4bdccd4d56db /gcc/testsuite/g++.dg/init/static3.C | |
| parent | f417af3f9f94538c2600e78e6c60b61c29fdbf99 (diff) | |
| download | gcc-master.zip gcc-master.tar.gz gcc-master.tar.bz2 | |
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.
Diffstat (limited to 'gcc/testsuite/g++.dg/init/static3.C')
0 files changed, 0 insertions, 0 deletions