par-endh.adb (Check_End): issue a syntax error in SPARK mode for missing label at...
authorYannick Moy <moy@adacore.com>
Mon, 1 Aug 2011 15:34:50 +0000 (15:34 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 1 Aug 2011 15:34:50 +0000 (17:34 +0200)
commitdaec8eebdb7a3cfd3e59771455d24fac9adb151e
tree2a264b7837f396b312381a19e0207683a26cce01
parent38171f43f1339cf9d2f02ded8b41f5c4a3828b42
par-endh.adb (Check_End): issue a syntax error in SPARK mode for missing label at end of declaration...

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.

From-SVN: r177048
gcc/ada/ChangeLog
gcc/ada/par-ch4.adb
gcc/ada/par-endh.adb
gcc/ada/par-util.adb
gcc/ada/par.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_ch8.adb