From 53beff22220d9c1dd48c022f81e61e74a3084c34 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Mon, 1 Aug 2011 16:02:10 +0000 Subject: err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ 2011-08-01 Yannick Moy * err_vars.ads (Error_Msg_Lang, Error_Msg_Langlen): new variables for insertion character ~~ * errout.ads, errout.adb (Formal_Error_Msg_...): remove procedures (Set_Error_Msg_Lang): new procedure which fixes the language for use with insertion character ~~ (Set_Msg_Text): treat insertion character ~~ * par-ch4.adb, par-ch5.adb, par-endh.adb, sem_attr.adb, sem_ch11.adb, sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_util.adb: Replace calls to Formal_Error_Msg_... procedures by equivalent Error_Msg_... procedures. Favor calls to Error_Msg_F(E) over Error_Msg_N(E). Make errors related to the formal language restriction not serious (insertion character |). * par.adb (Par): set formal language for error messages if needed * sem_ch6.adb (Check_Missing_Return): take into account possible generated statements at the end of the function * snames.ads-tmpl (Name_SPARK_95, Pragma_SPARK_95): new variable and enumeration value to define a new pragma SPARK_95 * opt.ads, opt.adb (SPARK_Version_Type, SPARK_Version_Default, SPARK_Version): new type and variables to store the SPARK version (none by default). (SPARK_Mode): return True when SPARK_Version is set * par-prag.adb: Correct indentation (Prag): take Pragma_SPARK_95 into account * sem_prag.adb (Set_Mechanism_Value, Sig_Flags): take Pragma_SPARK_95 into account. From-SVN: r177056 --- gcc/ada/sem_ch11.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/ada/sem_ch11.adb') diff --git a/gcc/ada/sem_ch11.adb b/gcc/ada/sem_ch11.adb index ce71e7f..1b0c182 100644 --- a/gcc/ada/sem_ch11.adb +++ b/gcc/ada/sem_ch11.adb @@ -444,7 +444,7 @@ package body Sem_Ch11 is -- Raise statement is not allowed in SPARK or ALFA if Formal_Verification_Mode then - Formal_Error_Msg_N ("raise statement is not allowed", N); + Error_Msg_F ("|~~raise statement is not allowed", N); end if; -- Proceed with analysis @@ -620,7 +620,7 @@ package body Sem_Ch11 is if Formal_Verification_Mode and then Comes_From_Source (N) then - Formal_Error_Msg_N ("raise statement is not allowed", N); + Error_Msg_F ("|~~raise statement is not allowed", N); end if; -- Proceed with analysis -- cgit v1.1