diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-04-26 12:29:41 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-04-26 12:29:41 +0000 |
| commit | 707699278c9eb45735854412512aaf9ddb0f0528 (patch) | |
| tree | 5420010f2d8952a835be61c074615295b46149c6 /gcc/ada/sem_util.adb | |
| parent | be2c9eb1d35af88416945dca28bb347e03d928fd (diff) | |
| download | gcc-707699278c9eb45735854412512aaf9ddb0f0528.tar.gz | |
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).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@81186 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index edeb3987438..f005c75151a 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -6101,9 +6101,16 @@ package body Sem_Util is -- declared at the library level to ensure that names such as -- X.all'access don't fail static accessibility checks. + -- Ada 0Y (AI-230): 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. + Btyp := Base_Type (Typ); if Ekind (Btyp) in Access_Kind then - if Ekind (Btyp) = E_Anonymous_Access_Type then + if Ekind (Btyp) = E_Anonymous_Access_Type + and then not Is_Array_Type (Scope (Btyp)) -- Ada 0Y (AI-230) + and then Ekind (Scope (Btyp)) /= E_Record_Type -- Ada 0Y (AI-230) + then return Scope_Depth (Standard_Standard); end if; |