From a586403865b31d61537705da2d17a7fb10804c40 Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 1 Aug 2011 15:34:50 +0000 Subject: 2011-08-01 Yannick Moy * par-endh.adb (Check_End): issue a syntax error in SPARK mode for missing label at end of declaration (subprogram or package) * par-ch4.adb (P_Name): issue a syntax error in SPARK mode for mixing of positional and named parameter association * par.adb, par-util.adb (Formal_Error_Msg_SP): new wrapper on Error_Msg_SP which adds a prefix to the error message giving the name of the formal language analyzed * sem_ch6.adb (Analyze_Return_Type): issue an error in formal mode for access result type in subprogram, unconstrained array as result type,. (Analyze_Subprogram_Declaration): issue an error in formal mode for null procedure * sem_ch8.adb: Code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177048 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/par-util.adb | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'gcc/ada/par-util.adb') diff --git a/gcc/ada/par-util.adb b/gcc/ada/par-util.adb index 6a0e8efc6cb..eeb93af639a 100644 --- a/gcc/ada/par-util.adb +++ b/gcc/ada/par-util.adb @@ -377,6 +377,16 @@ package body Util is null; end Discard_Junk_Node; + ------------------------- + -- Formal_Error_Msg_SP -- + ------------------------- + + procedure Formal_Error_Msg_SP (Msg : String) is + begin + pragma Assert (Formal_Verification_Mode); + Error_Msg_SP ("(" & Formal_Language & ") " & Msg); + end Formal_Error_Msg_SP; + ------------ -- Ignore -- ------------ -- cgit v1.2.1