diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-04 10:18:25 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-04 10:18:25 +0100 |
| commit | 7a1f177500d156346723ebb47043b517a7d1a26a (patch) | |
| tree | 97b58b4dab4215938b711cd0bb1c8982d80d7643 /gcc/ada/aspects.ads | |
| parent | 2a328c94e12b2ff0e72f6b9831bf7591ecd2fd91 (diff) | |
| download | gcc-7a1f177500d156346723ebb47043b517a7d1a26a.zip gcc-7a1f177500d156346723ebb47043b517a7d1a26a.tar.gz gcc-7a1f177500d156346723ebb47043b517a7d1a26a.tar.bz2 | |
[multiple changes]
2013-01-04 Robert Dewar <dewar@adacore.com>
* table.adb: Minor reformatting.
2013-01-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Check_Redundant_Withs): A with_clause that does
not come from source does not generate a warning for redundant
with_clauses.
2013-01-04 Hristian Kirtchev <kirtchev@adacore.com>
* aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables.
* par-prag.adb: Add pragma Global to the list of pragmas that
do not need special processing by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
Global into a pragma without any form of legality checks. The
work is done by Analyze_Pragma. The aspect and pragma are both
marked as needing delayed processing. Insert the corresponding
pragma of aspect Abstract_State in the visible declarations of the
related package.
(Check_Aspect_At_Freeze_Point): Aspect Global
does not need processing even though it is marked as delayed.
Alphabetize the list on aspect names.
* sem_prag.adb: Add a value for pragma Global in table Sig_Flags.
(Analyze_Pragma): Add ??? comment about the grammar of pragma
Abstract_State. Move the error location from the pragma to the
state to improve the quality of error placement. Add legality
checks for pragma Global.
* snames.ads-tmpl Add the following specially recognized names
2013-01-04 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch3.adb: Fix minor typo.
2013-01-04 Ed Schonberg <schonberg@adacore.com>
* par-ch13.adb (Aspect_Specifications_Present): In Strict mode,
accept an aspect name followed by a comma, indicating a defaulted
boolean aspect.
From-SVN: r194890
Diffstat (limited to 'gcc/ada/aspects.ads')
| -rw-r--r-- | gcc/ada/aspects.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index c2e3d67..94c3c61 100644 --- a/gcc/ada/aspects.ads +++ b/gcc/ada/aspects.ads @@ -94,6 +94,7 @@ package Aspects is Aspect_Dynamic_Predicate, Aspect_External_Name, Aspect_External_Tag, + Aspect_Global, -- GNAT Aspect_Implicit_Dereference, Aspect_Input, Aspect_Interrupt_Priority, @@ -231,6 +232,7 @@ package Aspects is Aspect_Dimension => True, Aspect_Dimension_System => True, Aspect_Favor_Top_Level => True, + Aspect_Global => True, Aspect_Inline_Always => True, Aspect_Lock_Free => True, Aspect_Object_Size => True, @@ -327,6 +329,7 @@ package Aspects is Aspect_Dynamic_Predicate => Expression, Aspect_External_Name => Expression, Aspect_External_Tag => Expression, + Aspect_Global => Expression, Aspect_Implicit_Dereference => Name, Aspect_Input => Name, Aspect_Interrupt_Priority => Expression, @@ -404,6 +407,7 @@ package Aspects is Aspect_External_Tag => Name_External_Tag, Aspect_Export => Name_Export, Aspect_Favor_Top_Level => Name_Favor_Top_Level, + Aspect_Global => Name_Global, Aspect_Implicit_Dereference => Name_Implicit_Dereference, Aspect_Import => Name_Import, Aspect_Independent => Name_Independent, |