diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 08:06:12 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 08:06:12 +0000 |
| commit | 8a1e3cdedbd5f67659d3453bea303c43801fe687 (patch) | |
| tree | 4890091d59f2dd0dc44a4e48fdec942cb7df294f /gcc/ada/exp_ch6.adb | |
| parent | ae398c801bef11818ae9453a72457e66965aa3d5 (diff) | |
| download | gcc-8a1e3cdedbd5f67659d3453bea303c43801fe687.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213537 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 44488fbafce..f0b27b4d8fc 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -5546,7 +5546,7 @@ package body Exp_Ch6 is if Nkind (Parent (N)) /= N_Package_Specification then if Nkind (Parent (N)) = N_Compilation_Unit then - Check_SPARK_Restriction + Check_SPARK_05_Restriction ("subprogram declaration is not a library item", N); elsif Present (Next (N)) @@ -5560,7 +5560,7 @@ package body Exp_Ch6 is null; else - Check_SPARK_Restriction + Check_SPARK_05_Restriction ("subprogram declaration is not allowed here", N); end if; end if; |