diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:24:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:24:03 +0200 |
| commit | 933aa0ac81ee62b104969294ce6ab117e1602968 (patch) | |
| tree | 0cfd598972f4170dce02fa02318a0039fa66b807 /gcc/ada/sem_prag.ads | |
| parent | 4179af278f73fc12431fc749bda65fbbf4752602 (diff) | |
| download | gcc-933aa0ac81ee62b104969294ce6ab117e1602968.zip gcc-933aa0ac81ee62b104969294ce6ab117e1602968.tar.gz gcc-933aa0ac81ee62b104969294ce6ab117e1602968.tar.bz2 | |
[multiple changes]
2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Is_Protected_Operation_Call):
Add guards to account for a non-decorated selected component.
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Improve
implementation of Body_Has_SPARK_Mode_On.
* sem_prag.adb, sem_prag.ads (Get_SPARK_Mode_From_Annotation):
New function replacing previous Get_SPARK_Mode_From_Pragma, that
deals also with aspects.
(Get_SPARK_Mode_Type): Make function internal again.
* inline.adb, sem_ch7.adb, sem_util.adb: Use new
Get_SPARK_Mode_From_Annotation.
From-SVN: r235116
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 063e7df..a78478e 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -397,13 +397,9 @@ package Sem_Prag is -- Context denotes the entity of the function, package or procedure where -- Prag resides. - function Get_SPARK_Mode_From_Pragma (N : Node_Id) return SPARK_Mode_Type; - -- Given a pragma SPARK_Mode node, return corresponding mode id - - function Get_SPARK_Mode_Type (N : Name_Id) return SPARK_Mode_Type; - -- Subsidiary to the analysis of pragma SPARK_Mode as well as subprogram - -- Get_SPARK_Mode_From_Pragma. Convert a name into a corresponding value - -- of type SPARK_Mode_Type. + function Get_SPARK_Mode_From_Annotation + (N : Node_Id) return SPARK_Mode_Type; + -- Given an aspect or pragma SPARK_Mode node, return corresponding mode id procedure Initialize; -- Initializes data structures used for pragma processing. Must be called |