diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-08-21 14:48:03 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-08-21 14:48:03 +0000 |
| commit | 24241bd0388ec6f730788540b289da12c13a34cc (patch) | |
| tree | 5be71cb8445185298b7e449e1402055a6380fb2e /libgfortran/io | |
| parent | 5bb9ebcbc8270bcc08f955d196ad8c1bba003ec1 (diff) | |
| download | gcc-24241bd0388ec6f730788540b289da12c13a34cc.zip gcc-24241bd0388ec6f730788540b289da12c13a34cc.tar.gz gcc-24241bd0388ec6f730788540b289da12c13a34cc.tar.bz2 | |
[Ada] Spurious error on overriding protected function in instance
The conformance between an overriding protected operation with
progenitors and the overridden interface operation requires subtype
conformance; requiring equality of return types in the case of a
function is too restrictive and leads to spurious errors when the return
type is a generic actual.
2018-08-21 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch6.adb (Check_Synchronized_Overriding): The conformance
between an overriding protected operation and the overridden
abstract progenitor operation requires subtype conformance;
requiring equality of return types in the case of a function is
too restrictive and leads to spurious errors when the return
type is a generic actual.
gcc/testsuite/
* gnat.dg/prot6.adb, gnat.dg/prot6.ads: New testcase.
From-SVN: r263731
Diffstat (limited to 'libgfortran/io')
0 files changed, 0 insertions, 0 deletions