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/restrict.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/restrict.adb')
-rw-r--r-- | gcc/ada/restrict.adb | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 9b8e2c6..f2e6a1f 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -491,7 +491,7 @@ package body Restrict is -- No_Dispatch restriction is not set. if R = No_Dispatch then - Check_SPARK_Restriction ("class-wide is not allowed", N); + Check_SPARK_05_Restriction ("class-wide is not allowed", N); end if; if UI_Is_In_Int_Range (V) then @@ -1418,11 +1418,11 @@ package body Restrict is end if; end Set_Restriction_No_Use_Of_Pragma; - ----------------------------- - -- Check_SPARK_Restriction -- - ----------------------------- + -------------------------------- + -- Check_SPARK_05_Restriction -- + -------------------------------- - procedure Check_SPARK_Restriction + procedure Check_SPARK_05_Restriction (Msg : String; N : Node_Id; Force : Boolean := False) @@ -1471,9 +1471,9 @@ package body Restrict is Error_Msg_F ("\\| " & Msg, N); end if; end if; - end Check_SPARK_Restriction; + end Check_SPARK_05_Restriction; - procedure Check_SPARK_Restriction (Msg1, Msg2 : String; N : Node_Id) is + procedure Check_SPARK_05_Restriction (Msg1, Msg2 : String; N : Node_Id) is Msg_Issued : Boolean; Save_Error_Msg_Sloc : Source_Ptr; @@ -1500,7 +1500,7 @@ package body Restrict is Error_Msg_F (Msg2, N); end if; end if; - end Check_SPARK_Restriction; + end Check_SPARK_05_Restriction; ---------------------------------- -- Suppress_Restriction_Message -- |