sem_ch13.adb (Analyze_One_Aspect, [...]): If expander is not active...
authorEd Schonberg <schonberg@adacore.com>
Tue, 20 Oct 2015 12:16:37 +0000 (12:16 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 20 Oct 2015 12:16:37 +0000 (14:16 +0200)
commit58ef3d309c306a09b552c035c0aa31c788eb1a3e
tree70c80e943418727dc684792adea3258f85c4189d
parent6bf8c157bf8121f26182fc05182ec6c0c6ecf9e0
sem_ch13.adb (Analyze_One_Aspect, [...]): If expander is not active...

2015-10-20  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_One_Aspect, case
Aspect_Disable_Controlled): If expander is not active, pre-analyze
expression anyway for ASIS and other tools use.
* sem_prag.adb (Build_Generic_Class_Condition): Handle properly
anonymous access types in parameter specifications. Make the
formal type a formal derived type of the controlling type of
the subprogram.

From-SVN: r229064
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb