]> git.ipfire.org Git - thirdparty/gcc.git/commit
2015-03-02 Bob Duff <duff@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 Mar 2015 11:05:03 +0000 (11:05 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 Mar 2015 11:05:03 +0000 (11:05 +0000)
commitc1bccde67b74999e40a6d7a641430537444cf5c5
treed4332623c7c50ecb2190778355b2df124cbb8410
parentdf45adfd6cb235fbccb3b7574fbfb126a78caebe
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).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221110 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/sem_ch6.adb