diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2004-04-26 14:29:41 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2004-04-26 14:29:41 +0200 |
| commit | 35b7fa6a40c32d4f36cddcd69d9014b53a02ae0d (patch) | |
| tree | 5420010f2d8952a835be61c074615295b46149c6 /gcc/ada/sem_ch3.adb | |
| parent | e11283f1b4f17d4d045a10a315cb47453ffcc927 (diff) | |
| download | gcc-35b7fa6a40c32d4f36cddcd69d9014b53a02ae0d.zip gcc-35b7fa6a40c32d4f36cddcd69d9014b53a02ae0d.tar.gz gcc-35b7fa6a40c32d4f36cddcd69d9014b53a02ae0d.tar.bz2 | |
[multiple changes]
2004-04-26 Thomas Quinot <quinot@act-europe.fr>
* sem_dist.adb, exp_dist.adb: When constructing a RAS value for a local
subprogram for which no pragma All_Calls_Remote applies, store the
address of the real subprogram in the underlying record type, so local
dereferences do not go through the PCS.
2004-04-26 Robert Dewar <dewar@gnat.com>
* i-c.ads: Add some type qualifications to avoid ambiguities when
compiling with s-auxdec.ads and a non-private address type.
2004-04-26 Arnaud Charlet <charlet@act-europe.fr>
* Makefile.rtl: Fix error in previous check-in:
Add s-addope.o to non tasking object list (rather than tasking object
list).
2004-04-26 Javier Miranda <miranda@gnat.com>
* sem_aggr.adb: Fix typo in comments
(Resolve_Aggr_Expr): Propagate the type to the nested aggregate.
Required to check the null-exclusion attribute.
* sem_attr.adb (Resolve_Attribute): Check the accessibility level in
case of anonymous access types in record and array components. For a
component definition the level is the same of the enclosing composite
type.
* sem_ch3.adb (Analyze_Component_Declaration): In case of components
that are anonymous access types the level of accessibility depends on
the enclosing type declaration. In order to have this information, set
the scope of the anonymous access type to the enclosing record type
declaration.
(Array_Type_Declaration): In case of components that are anonymous
access types the level of accessibility depends on the enclosing type
declaration. In order to have this information, set the scope of the
anonymous access type to the enclosing array type declaration.
* sem_ch3.adb (Array_Type_Declaration): Set the scope of the anonymous
access type.
* sem_ch8.adb (Analyze_Object_Renaming): Add check to verify that
renaming of anonymous access-to-constant types allowed if and only if
the renamed object is access-to-constant.
* sem_util.adb (Type_Access_Level): In case of anonymous access types
that are component_definition or discriminants of a nonlimited type,
the level is the same as that of the enclosing component type.
2004-04-26 Sergey Rybin <rybin@act-europe.fr>
* sem_elim.adb: Some minor code reorganization from code reading. Fix
misprint in the function name (File_Name_Match).
From-SVN: r81186
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 8a1105a..1b4f7e3 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -993,6 +993,12 @@ package body Sem_Ch3 is (Related_Nod => N, N => Access_Definition (Component_Definition (N))); + -- Ada 0Y (AI-230): In case of components that are anonymous access + -- types the level of accessibility depends on the enclosing type + -- declaration + + Set_Scope (T, Current_Scope); -- Ada 0Y (AI-230) + -- Ada 0Y (AI-254) if Present (Access_To_Subprogram_Definition @@ -2993,6 +2999,12 @@ package body Sem_Ch3 is (Related_Nod => Related_Id, N => Access_Definition (Component_Def)); + -- Ada 0Y (AI-230): In case of components that are anonymous access + -- types the level of accessibility depends on the enclosing type + -- declaration + + Set_Scope (Element_Type, T); -- Ada 0Y (AI-230) + -- Ada 0Y (AI-254) declare |