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/ada/restrict.adb | |
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/ada/restrict.adb')
-rw-r--r-- | gcc/ada/restrict.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index c56c2e0..9d22f85 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -1194,8 +1194,10 @@ package body Restrict is Restricted_Profile_Cached := True; declare - R : Restriction_Flags renames Profile_Info (Restricted).Set; - V : Restriction_Values renames Profile_Info (Restricted).Value; + R : Restriction_Flags renames + Profile_Info (Restricted_Tasking).Set; + V : Restriction_Values renames + Profile_Info (Restricted_Tasking).Value; begin for J in R'Range loop if R (J) |