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_ch8.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_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 379c74ce7ef..03529634ae5 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -687,17 +687,25 @@ package body Sem_Ch8 is elsif Present (Access_Definition (N)) then - if Null_Exclusion_Present (Access_Definition (N)) then - Error_Msg_N ("(Ada 0Y): null-excluding attribute ignored " - & "('R'M 8.5.1(6))?", N); - Set_Null_Exclusion_Present (Access_Definition (N), False); - end if; - T := Access_Definition (Related_Nod => N, N => Access_Definition (N)); + Analyze_And_Resolve (Nam, T); + -- Ada 0Y (AI-230): Renaming of anonymous access-to-constant types + -- allowed if and only if the renamed object is access-to-constant + + if Constant_Present (Access_Definition (N)) + and then not Is_Access_Constant (Etype (Nam)) + then + Error_Msg_N ("(Ada 0Y): the renamed object is not " + & "access-to-constant ('R'M 8.5.1(6))", N); + + elsif Null_Exclusion_Present (Access_Definition (N)) then + Error_Msg_N ("(Ada 0Y): null-excluding attribute ignored " + & "('R'M 8.5.1(6))?", N); + end if; else pragma Assert (False); null; |