| commit | 55160f6c7c838a2e35895cb741fff5ea237b1260 | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Thu, 10 Oct 2019 15:25:03 +0000 (10 15:25 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Thu, 10 Oct 2019 15:25:03 +0000 (10 15:25 +0000) | ||
| tree | 0fbb4523c1bef3d0f99b078aa3af3a452efc8a3f | treesnapshot (tar.gz zip) |
| parent | dfdd3de1238531889e65fc4c5498a3a5f28ff570 | commitdiff |
[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
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 | diffblobblamehistory | |
| gcc/ada/sem_ch12.adb | diffblobblamehistory |