sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode...
authorEd Schonberg <schonberg@adacore.com>
Fri, 22 May 2015 13:04:01 +0000 (13:04 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 May 2015 13:04:01 +0000 (15:04 +0200)
commit598a56c0966307d662168dd711602d71d0686442
treeaf9490147cd33305113f8c7f62a21b6d504f4984
parentee93527368e112d1f2a9b0e739fc513eff3e048e
sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode...

2015-05-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode, a
limited_with clause on a predefined unit is not transformed into
a regular with_clause, to preserve the original tree structure.
* sinfo.ads (N_With_Clause): Add comment on handling of
Limited_With.
* sem_ch10.adb: Minor reformatting.

2015-05-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Freeze_Profile): A limited view of a type in
the profile of a subprogram renaming does not require freezing,
because it is declared in a different unit.

2015-05-22  Ed Schonberg  <schonberg@adacore.com>

* exp_aggr.adb (Get_Constraint_Association): If type (of ancestor
composite type) is private, go to full view. This was previously
done only in an instance context, but is happen whenever a chain
of private extensions includes one inherited discriminant.

From-SVN: r223565
gcc/ada/ChangeLog
gcc/ada/exp_aggr.adb
gcc/ada/sem_ch10.adb
gcc/ada/sem_ch8.adb
gcc/ada/sinfo.ads