diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:34:50 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:34:50 +0000 |
| commit | a586403865b31d61537705da2d17a7fb10804c40 (patch) | |
| tree | 2a264b7837f396b312381a19e0207683a26cce01 /gcc/ada/par.adb | |
| parent | 231970144b7be5f624a8357dadd490160abbf6f0 (diff) | |
| download | gcc-a586403865b31d61537705da2d17a7fb10804c40.tar.gz | |
2011-08-01 Yannick Moy <moy@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/par.adb')
| -rw-r--r-- | gcc/ada/par.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb index 99f6806057d..da84343b53a 100644 --- a/gcc/ada/par.adb +++ b/gcc/ada/par.adb @@ -1158,6 +1158,10 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is -- the argument. A typical use is to skip by some junk that is not -- expected in the current context. + procedure Formal_Error_Msg_SP (Msg : String); + -- Wrapper on Errout.Error_Msg_SP which adds a prefix to Msg giving + -- the name of the formal language analyzed (spark or alfa) + procedure Ignore (T : Token_Type); -- If current token matches T, then give an error message and skip -- past it, otherwise the call has no effect at all. T may be any |