diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 10:06:12 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 10:06:12 +0200 |
| commit | ce5ba43a4ea1fe705546313188ce51b783b4037c (patch) | |
| tree | 4890091d59f2dd0dc44a4e48fdec942cb7df294f /gcc/ada/sem_ch11.adb | |
| parent | 3dd7e28d9fdd0210987e9281f158bd97db4e1f06 (diff) | |
| download | gcc-ce5ba43a4ea1fe705546313188ce51b783b4037c.zip gcc-ce5ba43a4ea1fe705546313188ce51b783b4037c.tar.gz gcc-ce5ba43a4ea1fe705546313188ce51b783b4037c.tar.bz2 | |
[multiple changes]
2014-08-04 Yannick Moy <moy@adacore.com>
* sem_aggr.adb, sem_ch3.adb, sem_ch5.adb, sem_ch7.adb, sem_ch9.adb,
sem_ch12.adb, sem_util.adb, sem_util.ads, sem_res.adb, sem_attr.adb,
exp_ch6.adb, sem_ch4.adb, restrict.adb, restrict.ads, sem_ch6.adb,
sem_ch8.adb, sem_ch11.adb: Update some subprogram names to refer to
SPARK_05 instead of SPARK.
2014-08-04 Robert Dewar <dewar@adacore.com>
* sem.ads: Minor reformatting.
* sem_ch13.adb (Analyze_Aspect_External_Or_Link_Name): Minor
reformatting.
(Analyze_Aspect_Specifications, case Convention): Put External_Name
before Link_Name when constructing pragma.
From-SVN: r213537
Diffstat (limited to 'gcc/ada/sem_ch11.adb')
| -rw-r--r-- | gcc/ada/sem_ch11.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch11.adb b/gcc/ada/sem_ch11.adb index 21c94bd..45b4a08 100644 --- a/gcc/ada/sem_ch11.adb +++ b/gcc/ada/sem_ch11.adb @@ -437,7 +437,7 @@ package body Sem_Ch11 is Check_Compiler_Unit ("raise expression", N); end if; - Check_SPARK_Restriction ("raise expression is not allowed", N); + Check_SPARK_05_Restriction ("raise expression is not allowed", N); -- Check exception restrictions on the original source @@ -495,7 +495,7 @@ package body Sem_Ch11 is begin if Comes_From_Source (N) then - Check_SPARK_Restriction ("raise statement is not allowed", N); + Check_SPARK_05_Restriction ("raise statement is not allowed", N); end if; Check_Unreachable_Code (N); @@ -702,7 +702,7 @@ package body Sem_Ch11 is begin if Nkind (Original_Node (N)) = N_Raise_Statement then - Check_SPARK_Restriction ("raise statement is not allowed", N); + Check_SPARK_05_Restriction ("raise statement is not allowed", N); end if; if No (Etype (N)) then |