projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abed5dc) | patch
2008-05-27 Ed Schonberg <schonberg@adacore.com>
authorEd Schonberg <schonberg@adacore.com>
Tue, 27 May 2008 09:20:38 +0000 (11:20 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 27 May 2008 09:20:38 +0000 (11:20 +0200)
commitfceeaab66b35f55d325e4b07b7e96b5a7d9a1656
treed8ab686f6e6a019795579332a0b9fd28c80e432dtree
parentabed5dc6ffc735874227c399963e927c4e93c8c2commit | diff
2008-05-27  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb:
(Is_Interface_Conformant): Handle properly a primitive operation that
overrides an interface function with a controlling access result.
(Type_Conformance): If Skip_Controlling_Formals is true, when matching
inherited and overriding operations, omit as well the conformance check
on result types, to prevent spurious errors.

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