diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:45:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:45:29 +0200 |
| commit | f06f5f6bd618153d66a028f7be4dbecc22913ac1 (patch) | |
| tree | 1b4e5dc7c01c98b0bc9be8ab527f168ad66cd160 /gcc/ada/sem_ch13.ads | |
| parent | 40417de8ab869572f58b96b987ad4fca4f0cd783 (diff) | |
| download | gcc-f06f5f6bd618153d66a028f7be4dbecc22913ac1.zip gcc-f06f5f6bd618153d66a028f7be4dbecc22913ac1.tar.gz gcc-f06f5f6bd618153d66a028f7be4dbecc22913ac1.tar.bz2 | |
[multiple changes]
2015-10-20 Thomas Quinot <quinot@adacore.com>
* types.ads: Minor reformatting.
2015-10-20 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Get_Pragma): Minor reformatting. Rename local constant
Is_CDG to Is_CLS. Add pragma Constant_After_Elaboration to the list of
classification pragmas.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Declarations); At the of the visible part,
perform name resolution on the expressions in aspects of visible
entities.
* sem_ch13.ads, sem_ch13.adb (Resolve_Aspect_Expressions): Resolve
expressions in aspects independently of whether corresponding
entity is frozen. Used to complete name resolution of aspect
expressions for entities declared in the visible part of a
package or generic package declaration.
From-SVN: r229028
Diffstat (limited to 'gcc/ada/sem_ch13.ads')
| -rw-r--r-- | gcc/ada/sem_ch13.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.ads b/gcc/ada/sem_ch13.ads index df77908..8ae9294 100644 --- a/gcc/ada/sem_ch13.ads +++ b/gcc/ada/sem_ch13.ads @@ -347,6 +347,13 @@ package Sem_Ch13 is -- Given an entity Typ that denotes a derived type or a subtype, this -- routine performs the inheritance of aspects at the freeze point. + procedure Resolve_Aspect_Expressions (E : Entity_Id); + -- Name resolution of an aspect expression happens at the end of the + -- current declarative part or at the freeze point for the entity, + -- whichever comes first. For declarations in the visible part of a + -- package, name resolution takes place before analysis of the private + -- part even though the freeze point of the entity may appear later. + procedure Validate_Iterable_Aspect (Typ : Entity_Id; ASN : Node_Id); -- For SPARK 2014 formal containers. The expression has the form of an -- aggregate, and each entry must denote a function with the proper syntax |