sem_ch3.adb (Analyze_Declarations): At the end of an appropriate declarative part...
authorEd Schonberg <schonberg@adacore.com>
Fri, 24 Jan 2014 14:51:19 +0000 (14:51 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 24 Jan 2014 14:51:19 +0000 (15:51 +0100)
commitad4e3362d3ea425d26c91c5a7d35a2649146bef9
treeb7dba3998c295f3018673747616d89ddc6056caf
parentbff2d234281c10f137b8e2a2b9957c5675506eab
sem_ch3.adb (Analyze_Declarations): At the end of an appropriate declarative part...

2014-01-24  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Declarations): At the end of an
appropriate declarative part, call Freeze_All from the first
declaration in the scope, not from the first unfrozen one. This
is necessary to apply visibility checks to entities with delayed
aspects. Otherwise, in the presence of instantiations and cleanups
that they may generate, the delayed aspects may be analyzed too
late and produce spurious visibility errors.
* sem_attr.adb: Place etype on range.
* sem_ch6.adb: Documentation expression functions.

From-SVN: r207039
gcc/ada/ChangeLog
gcc/ada/sem_attr.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch6.adb