diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-02-21 09:44:28 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:51:14 -0400 |
| commit | 072c5071e0e95401cec2b700c3f276c9eb91abb1 (patch) | |
| tree | 7d5ca7ba0c75b608ef578e01fa4ce98fc6e67ce4 /gcc/ada/sem_cat.ads | |
| parent | a689887372e80f748fedd95e98ce9a85e7b09c9b (diff) | |
| download | gcc-072c5071e0e95401cec2b700c3f276c9eb91abb1.zip gcc-072c5071e0e95401cec2b700c3f276c9eb91abb1.tar.gz gcc-072c5071e0e95401cec2b700c3f276c9eb91abb1.tar.bz2 | |
[Ada] AI12-0085 Missing aspect cases for Remote_Types
2020-06-08 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* sem_cat.ads: Fix typo.
* sem_cat.adb (Validate_Remote_Access_To_Class_Wide_Type): Add
handling of N_Attribute_Definition_Clause.
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Call
Validate_Remote_Access_To_Class_Wide_Type for Storage_Size and
Storage_Pool.
* sem_attr.adb, exp_ch4.adb: Update comments.
Diffstat (limited to 'gcc/ada/sem_cat.ads')
| -rw-r--r-- | gcc/ada/sem_cat.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_cat.ads b/gcc/ada/sem_cat.ads index 895f526..2c95897 100644 --- a/gcc/ada/sem_cat.ads +++ b/gcc/ada/sem_cat.ads @@ -120,8 +120,8 @@ package Sem_Cat is -- Checks that Storage_Pool and Storage_Size attribute references are -- not applied to remote access-to-class-wide types. Also checks that the -- expected type for an allocator cannot be a remote access-to-class-wide - -- type. ALso checks that a remote access-to-class-wide type cannot be an - -- actual parameter for a generic formal access type. RM E.2.3(22). + -- type. Also checks that a remote access-to-class-wide type cannot be an + -- actual parameter for a generic formal access type. RM E.2.2(17). procedure Validate_RT_RAT_Component (N : Node_Id); -- Given N, the package library unit declaration node, we should check |