diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2014-07-29 14:56:34 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 16:56:34 +0200 |
| commit | f3691f465e062f2380c0d9a6018951030fc8a2a3 (patch) | |
| tree | d192de0ecbcd76febdcc593744d443a54f4ffd7a /gcc/ada/frontend.adb | |
| parent | 2d180af122bda9206c06441fee99f9adf873bdde (diff) | |
| download | gcc-f3691f465e062f2380c0d9a6018951030fc8a2a3.zip gcc-f3691f465e062f2380c0d9a6018951030fc8a2a3.tar.gz gcc-f3691f465e062f2380c0d9a6018951030fc8a2a3.tar.bz2 | |
sem_ch3.adb: Move Has_Defaulted_Discriminants to sem_util.
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb: Move Has_Defaulted_Discriminants to sem_util.
* sem_ch4.adb (Analyze_Allocator): Defer resolution of expression
until context type is available.
* sem_res.adb (Resolve_Allocator): In the case of a qualified
expression, complete resolution of expression.
(Check_Aliased_Parameter): New procedure within Resolve_Actuals,
to apply Ada2012 checks on aliased formals, as well as
accesibility checks when the context of the call is an allocator
or a qualified expression.
* sem_util.ads, sem_util.adb (Has_Defaulted_Discriminants):
Moved here from sem_ch3.
(Object_Access_Level): Handle properly aliased formals and
aggregates.
* exp_ch6.adb (Expand_Call): Remove check on aliased parameters,
now properly performed in sem_res (Resolve_Actuals,
Check_Aliased_Parameter).
From-SVN: r213206
Diffstat (limited to 'gcc/ada/frontend.adb')
0 files changed, 0 insertions, 0 deletions