diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 14:37:54 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 14:37:54 +0100 |
| commit | 3373589b25382e5389a189acc832fb657016f375 (patch) | |
| tree | 9344bb0ac2f1f166554bbb48748b433385974349 /gcc/ada/sem_prag.ads | |
| parent | 64dfccae7b6b30498e1ce660941051bb4d3108bd (diff) | |
| download | gcc-3373589b25382e5389a189acc832fb657016f375.zip gcc-3373589b25382e5389a189acc832fb657016f375.tar.gz gcc-3373589b25382e5389a189acc832fb657016f375.tar.bz2 | |
[multiple changes]
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Generalized_Indexing): In ASIS mode, when
restoring original node, remove Generalized_Indexing operation
so that it is recreated during re- analysis.
2015-10-26 Javier Miranda <miranda@adacore.com>
* exp_unst.adb: (Unnest_Subprogram):
Replace absolute references to 1 and 0 by their counterpart
relative references through Subps_First.
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* par-ch3.adb (P_Declarative_Items): In case of misplaced
aspect specifications, ensure that flag Done is properly set to
continue parse.
* sem_prag.adb, sem_prag.ads: Remove Build_Generic_Class_Condition,
unused.
From-SVN: r229362
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 7ec4ebb..784578a 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -231,17 +231,6 @@ package Sem_Prag is procedure Analyze_Test_Case_In_Decl_Part (N : Node_Id); -- Perform preanalysis of pragma Test_Case - procedure Build_Generic_Class_Condition - (Subp : Entity_Id; - Prag : Node_Id); - -- AI12-113 modifies the semantics of classwide pre- and postconditions, - -- as well as type invariants, so that the expression used in an inherited - -- operation uses the actual type and is statically bound, rather than - -- using T'Class and dispatching. This new semantics is implemented by - -- building a generic function for the corresponding condition and - -- instantiating it for each descendant type. Checking the condition is - -- implemented as a call to that instantiation. - procedure Check_Applicable_Policy (N : Node_Id); -- N is either an N_Aspect or an N_Pragma node. There are two cases. If -- the name of the aspect or pragma is not one of those recognized as |