sem_ch5.adb (Analyze_Assignment): If the name is of a local anonymous access type...
authorEd Schonberg <schonberg@adacore.com>
Wed, 28 May 2008 15:55:20 +0000 (17:55 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 28 May 2008 15:55:20 +0000 (17:55 +0200)
commit33477fb7d8d4d1eff8a4a669265ab240377ec5af
treed3a3a6e7c59a2ff74487d36a4e13f282c67f3d27
parent8250171ba3fa889f20d239acdc3f447476029d58
sem_ch5.adb (Analyze_Assignment): If the name is of a local anonymous access type...

2008-05-28  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Analyze_Assignment): If the name is of a local anonymous
access type, wrap the expression in a conversion to force an
accessibility check.

* sem_aggr.adb (Aggegate_Constraint_Checks): Apply conversion to force
accessibility checks even when expansion is disabled in order to
generate messages in the presence of previous errors or in
semantics-only mode.

From-SVN: r136108
gcc/ada/sem_aggr.adb
gcc/ada/sem_ch5.adb