diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 12:33:08 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 12:33:08 +0200 |
| commit | 393525afc3eefc8d29d34b3cf603cb94483b04e0 (patch) | |
| tree | fe6ae191b55167afc856d5951dd5b082ba9d63e8 /gcc/gimple-fold.c | |
| parent | f40dbd80eb764d7dbab35d3bb7ec871a64db5606 (diff) | |
| download | gcc-393525afc3eefc8d29d34b3cf603cb94483b04e0.zip gcc-393525afc3eefc8d29d34b3cf603cb94483b04e0.tar.gz gcc-393525afc3eefc8d29d34b3cf603cb94483b04e0.tar.bz2 | |
[multiple changes]
2016-10-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Check_Formal_Package_Instance): Handle properly
an instance of a formal package with defaults, when defaulted
parameters include tagged private types and array types.
2016-10-12 Tristan Gingold <gingold@adacore.com>
* restrict.ads, restrict.adb (Restricted_Profile): Adjust
comment, use Restricted_Tasking to compare restrictions.
* s-rident.ads (Profile_Name): Add Restricted_Tasking and
reorder literals.
(Profile_Info): Set restrictions for Restricted_Tasking.
2016-10-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Full_Type_Declaration): Set Ghost status
of type before elaborating inherited operations, so that the
Ghost status is set properly for them.
* ghost.adb (Check_Ghost_Overriding): A ghost subprogram can
override an abstract subprogram coming from an interface
operation.
From-SVN: r241026
Diffstat (limited to 'gcc/gimple-fold.c')
0 files changed, 0 insertions, 0 deletions