projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a271a7) | patch
sem_ch6.adb (Check_Private_Overriding): Refine the legality checks here.
authorBob Duff <duff@adacore.com>
Mon, 2 Mar 2015 11:05:03 +0000 (11:05 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 Mar 2015 11:05:03 +0000 (12:05 +0100)
commitacf624f28032bb0fa8bee97d506c73c281f15ca6
treed4332623c7c50ecb2190778355b2df124cbb8410tree
parent5a271a7f3a2983e1529ea5c7f98d6ea5d6b113cfcommit | diff
sem_ch6.adb (Check_Private_Overriding): Refine the legality checks here.

2015-03-02  Bob Duff  <duff@adacore.com>

* sem_ch6.adb (Check_Private_Overriding): Refine the legality
checks here. It used to check that the function is merely
overriding SOMEthing. Now it checks that the function is
overriding a corresponding public operation. This is a correction
to the implementation of the rule in RM-3.9.3(10).

From-SVN: r221110
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history