diff options
| author | Robert Dewar <dewar@adacore.com> | 2011-08-02 08:58:37 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 10:58:37 +0200 |
| commit | eaba57fb0a6e78750c116ff716071f6f46a0db2c (patch) | |
| tree | a78073d9929183ac16f0ad682c43b827f7601339 /gcc/ada/sinfo.ads | |
| parent | 8830d1d2a25268b60eba9b47d62f4ddabec6d428 (diff) | |
| download | gcc-eaba57fb0a6e78750c116ff716071f6f46a0db2c.zip gcc-eaba57fb0a6e78750c116ff716071f6f46a0db2c.tar.gz gcc-eaba57fb0a6e78750c116ff716071f6f46a0db2c.tar.bz2 | |
sem_ch12.adb, [...]: New calling sequence for Analyze_Aspect_Specifications
2011-08-02 Robert Dewar <dewar@adacore.com>
* sem_ch12.adb, sem_ch11.adb: New calling sequence for
Analyze_Aspect_Specifications
* sem_ch13.adb
(Analyze_Aspect_Specifications): New handling for boolean aspects
* sem_ch13.ads (Analyze_Aspect_Specifications): New calling sequence
* sem_ch3.adb, sem_ch6.adb, sem_ch7.adb, sem_ch9.adb: New calling
sequence for Analyze_Aspect_Specifications
* sem_prag.adb (Analyze_Pragma): Remove use of Aspect_Cancel entirely
* sinfo.ads, sinfo.adb (Aspect_Cancel): Remove, no longer used
2011-08-02 Robert Dewar <dewar@adacore.com>
* freeze.adb (Freeze_Entity): Remove handling of delayed boolean
aspects, since these no longer exist.
2011-08-02 Robert Dewar <dewar@adacore.com>
* par-ch13.adb (Aspect_Specifications_Present): Always return false on
semicolon, do not try to see if there are aspects following it.
* par-ch3.adb (P_Declarative_Items): Better message for unexpected
aspect spec.
From-SVN: r177095
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 8d1b51e..cdf71bc 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -584,14 +584,6 @@ package Sinfo is -- is used for translation of the at end handler into a normal exception -- handler. - -- Aspect_Cancel (Flag11-Sem) - -- Processing of aspect specifications typically generates pragmas and - -- attribute definition clauses that are inserted into the tree after - -- the declaration node to get the desired aspect effect. In the case - -- of Boolean aspects that use "=> False" to cancel the effect of an - -- aspect (i.e. turn if off), the generated pragma has the Aspect_Cancel - -- flag set to indicate that the pragma operates in the opposite sense. - -- Aspect_Rep_Item (Node2-Sem) -- Present in N_Aspect_Specification nodes. Points to the corresponding -- pragma/attribute definition node used to process the aspect. @@ -2085,7 +2077,6 @@ package Sinfo is -- From_Aspect_Specification (Flag13-Sem) -- Is_Delayed_Aspect (Flag14-Sem) -- Import_Interface_Present (Flag16-Sem) - -- Aspect_Cancel (Flag11-Sem) -- Split_PPC (Flag17) set if corresponding aspect had Split_PPC set -- Class_Present (Flag6) set if from Aspect with 'Class -- From_Dynamic_Predicate (Flag7-Sem) Set if Dynamic_Predicate aspect @@ -8076,9 +8067,6 @@ package Sinfo is function Array_Aggregate (N : Node_Id) return Node_Id; -- Node3 - function Aspect_Cancel - (N : Node_Id) return Boolean; -- Flag11 - function Aspect_Rep_Item (N : Node_Id) return Node_Id; -- Node2 @@ -9054,9 +9042,6 @@ package Sinfo is procedure Set_Array_Aggregate (N : Node_Id; Val : Node_Id); -- Node3 - procedure Set_Aspect_Cancel - (N : Node_Id; Val : Boolean := True); -- Flag11 - procedure Set_Aspect_Rep_Item (N : Node_Id; Val : Node_Id); -- Node2 @@ -11709,7 +11694,6 @@ package Sinfo is pragma Inline (Alternatives); pragma Inline (Ancestor_Part); pragma Inline (Array_Aggregate); - pragma Inline (Aspect_Cancel); pragma Inline (Aspect_Rep_Item); pragma Inline (Assignment_OK); pragma Inline (Associated_Node); @@ -12032,7 +12016,6 @@ package Sinfo is pragma Inline (Set_Alternatives); pragma Inline (Set_Ancestor_Part); pragma Inline (Set_Array_Aggregate); - pragma Inline (Set_Aspect_Cancel); pragma Inline (Set_Aspect_Rep_Item); pragma Inline (Set_Assignment_OK); pragma Inline (Set_Associated_Node); |