diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-01 15:34:50 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-01 17:34:50 +0200 |
| commit | daec8eebdb7a3cfd3e59771455d24fac9adb151e (patch) | |
| tree | 2a264b7837f396b312381a19e0207683a26cce01 /gcc/ada/sem_ch8.adb | |
| parent | 38171f43f1339cf9d2f02ded8b41f5c4a3828b42 (diff) | |
| download | gcc-daec8eebdb7a3cfd3e59771455d24fac9adb151e.zip gcc-daec8eebdb7a3cfd3e59771455d24fac9adb151e.tar.gz gcc-daec8eebdb7a3cfd3e59771455d24fac9adb151e.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 5380401..56f57d1 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -6300,6 +6300,7 @@ package body Sem_Ch8 is end loop; pragma Assert (False); -- unreachable + raise Program_Error; end Has_Loop_In_Inner_Open_Scopes; -------------------- |