projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70b590e) | patch
[Ada] Spurious errors on tagged types with renamed subprograms
authorJavier Miranda <miranda@adacore.com>
Fri, 28 Aug 2020 13:24:22 +0000 (09:24 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 23 Oct 2020 08:24:48 +0000 (04:24 -0400)
commit4d245fdaf742b468bce03034c47b82f51ce6282c
tree23f9d2b3d2fa3985791305f84eb5e737974943batree
parent70b590e2481f9a887009e51396727659f49b0defcommit | diff
[Ada] Spurious errors on tagged types with renamed subprograms

gcc/ada/

* sem_ch3.adb (Check_Abstract_Overriding): Subprogram renamings
cannot be overridden.
(Derive_Subprogram): Enable setting attribute
Requires_Overriding on functions with controlling access results
of record extensions with a null extension part require
overriding (AI95-00391/06).
gcc/ada/sem_ch3.adb diff | blob | history