projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfdd3de) | patch
[Ada] Spurious visibility error on formal package with Abstract_State
authorEd Schonberg <schonberg@adacore.com>
Thu, 10 Oct 2019 15:25:03 +0000 (15:25 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 10 Oct 2019 15:25:03 +0000 (15:25 +0000)
commit55160f6c7c838a2e35895cb741fff5ea237b1260
tree0fbb4523c1bef3d0f99b078aa3af3a452efc8a3ftree
parentdfdd3de1238531889e65fc4c5498a3a5f28ff570commit | diff
[Ada] Spurious visibility error on formal package with Abstract_State

2019-10-10  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch12.adb (Analyze_Formal_Package_Declaration): Propagate
an aspect specification for Abstract_State from generic package
to formal package, so that it is available when analyzing the
constructed formal.

From-SVN: r276829
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history