[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
tree0fbb4523c1bef3d0f99b078aa3af3a452efc8a3f
parentdfdd3de1238531889e65fc4c5498a3a5f28ff570
[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
gcc/ada/sem_ch12.adb