projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b622076) | patch
[Ada] Spurious error on overriding controlled primitive
authorJustin Squirek <squirek@adacore.com>
Fri, 13 Dec 2019 09:03:18 +0000 (09:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 13 Dec 2019 09:03:18 +0000 (09:03 +0000)
commit08f4f1721a05c77c8ee0cbd437c944d7c795f0d5
tree78b69d428440b87cf90011531593ea6e23349596tree
parentb622076c56b245967a8e777cfd8fd049e7ed784ccommit | diff
[Ada] Spurious error on overriding controlled primitive

2019-12-13  Justin Squirek  <squirek@adacore.com>

gcc/ada/

* sem_ch6.adb (Check_Overriding_Indicator): Modify condition to
take into account the modification of the Is_Hidden flag within
generic instances.
(Verify_Overriding_Indicator): Add an exception for controlled
primitives within an instance.

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