diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 12:42:52 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 12:42:52 +0000 |
| commit | 6e9cbc70ab4b8f79e55fa03decca8c10583dea45 (patch) | |
| tree | c031180c890912b1e17b27e8d8c96fb4e9bec9b3 /gcc/ada/sem_ch7.adb | |
| parent | 347a47cbf5f8ee0bc7e11dc97703b318d3ff259c (diff) | |
| download | gcc-6e9cbc70ab4b8f79e55fa03decca8c10583dea45.tar.gz | |
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* a-cfhama.ads, a-cfhase.ads, a-cforma.ads, a-cforse.ads Add
SPARK_Mode pragmas to the public and private part of the unit.
* sem_ch3.adb (Derive_Type_Declaration): Ensure that a derived
type cannot have discriminants if the parent type already has
discriminants.
(Process_Discriminants): Ensure that the type of a discriminant is
discrete.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): The check on
SPARK_Mode compatibility between a spec and a body can now be
safely performed while processing a generic.
* sem_ch7.adb (Analyze_Package_Body_Helper): The check on
SPARK_Mode compatibility between a spec and a body can now be
safely performed while processing a generic.
* sem_prag.adb (Analyze_Pragma): Pragma SPARK_Mode can now be
safely analyzed when processing a generic.
2014-08-04 Nicolas Roche <roche@adacore.com>
* g-dirope.adb: Minor reformating.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213575 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_ch7.adb')
| -rw-r--r-- | gcc/ada/sem_ch7.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch7.adb b/gcc/ada/sem_ch7.adb index 583621f96e7..4821db529c8 100644 --- a/gcc/ada/sem_ch7.adb +++ b/gcc/ada/sem_ch7.adb @@ -439,7 +439,7 @@ package body Sem_Ch7 is -- Verify that the SPARK_Mode of the body agrees with that of its spec - if not Inside_A_Generic and then Present (SPARK_Pragma (Body_Id)) then + if Present (SPARK_Pragma (Body_Id)) then if Present (SPARK_Aux_Pragma (Spec_Id)) then if Get_SPARK_Mode_From_Pragma (SPARK_Aux_Pragma (Spec_Id)) = Off and then |