diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2020-06-15 17:14:14 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-27 04:05:16 -0400 |
| commit | faa163f737cb388f97a285be28060730abd460a0 (patch) | |
| tree | 7af92930374a8f30e3d503d72b6f79b29110bfe5 /gcc/ada/sinfo.adb | |
| parent | df81923f6d805ebf390e116b1902d0c8ec93c477 (diff) | |
| download | gcc-faa163f737cb388f97a285be28060730abd460a0.zip gcc-faa163f737cb388f97a285be28060730abd460a0.tar.gz gcc-faa163f737cb388f97a285be28060730abd460a0.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions