projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df81923) | patch
[Ada] AI12-0382: Loosen type-invariant overriding requirement of AI12-0042
authorGary Dismukes <dismukes@adacore.com>
Mon, 15 Jun 2020 21:14:14 +0000 (17:14 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 27 Jul 2020 08:05:16 +0000 (04:05 -0400)
commitfaa163f737cb388f97a285be28060730abd460a0
tree7af92930374a8f30e3d503d72b6f79b29110bfe5tree
parentdf81923f6d805ebf390e116b1902d0c8ec93c477commit | diff
[Ada] AI12-0382: Loosen type-invariant overriding requirement of AI12-0042

gcc/ada/

* sem_ch3.adb (Check_Abstract_Overriding): Remove Scope
comparison test from test related to initial implementation of
AI12-0042, plus remove the related ??? comment.
(Derive_Subprogram): Add test requiring that the type extension
appear in the visible part of its enclosing package when
checking the overriding requirement of 7.3.2(6.1/4), as
clarified by AI12-0382.
gcc/ada/sem_ch3.adb diff | blob | history