diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2015-10-20 09:40:24 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:40:24 +0200 |
| commit | b8a1821614cbf7e5c117bf0a7a215e3c3a81f8c3 (patch) | |
| tree | f18fb1840f423106114e1684348a5d6f055af675 /gcc/ada/init.c | |
| parent | d9147bb633645dc2e3844eee2d61217de5544a98 (diff) | |
| download | gcc-b8a1821614cbf7e5c117bf0a7a215e3c3a81f8c3.zip gcc-b8a1821614cbf7e5c117bf0a7a215e3c3a81f8c3.tar.gz gcc-b8a1821614cbf7e5c117bf0a7a215e3c3a81f8c3.tar.bz2 | |
sem_ch3.adb (Check_Nonoverridable_Aspects): New procedure within Analyze_Full_Type_ Declaration...
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Check_Nonoverridable_Aspects): New procedure within
Analyze_Full_Type_ Declaration, used to apply legality rules in
13,1,1 (18.3.3) concerning aspects that cannot be overridden in
a type extension.
(Check_Duplicate_Aspects): It is not legal to specify the
Implicit_Dereference aspect on a full view if partial view has
known discriminants.
* sem_ch13.adb (Analyze_Aspect_Implicit_Dereference): Verify that
the specification of the aspect on a derived type confirms the
value of the inherited one.
* sem_util.adb (Reference_Discriminant): Return empty if none
specified.
From-SVN: r229026
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions