diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 10:52:52 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 10:52:52 +0200 |
| commit | 6a49f11019c0927147f2b11efc45fddacd51d6fe (patch) | |
| tree | cf9117d20a6ae44e087010ef13e99f9d232e3109 /gcc/ada/sem_ch5.adb | |
| parent | a4640a3936bb760801ca5d2d44152a3424a8facb (diff) | |
| download | gcc-6a49f11019c0927147f2b11efc45fddacd51d6fe.zip gcc-6a49f11019c0927147f2b11efc45fddacd51d6fe.tar.gz gcc-6a49f11019c0927147f2b11efc45fddacd51d6fe.tar.bz2 | |
[multiple changes]
2011-08-04 Javier Miranda <miranda@adacore.com>
* exp_strm.adb (Build_Array_Input_Function): if the array type is
constrained, do not attempt to build a subtype of it.
2011-08-04 Yannick Moy <moy@adacore.com>
* errout.ads Change comments: remove 'R'M as an example where quotes
are needed; add ALFA as another case where quotes are not needed
* erroutc.adb (Set_Msg_Insertion_Reserved_Word): add ALFA as another
case where quotes are not needed.
* sem_ch11.adb, sem_ch13.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb,
sem_ch5.adb, sem_ch6.adb, sem_ch9.adb, sem_prag.adb, sem_res.adb:
Remove all occurrences of 'A'L'F'A
2011-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: check legality of invariant pragma.
From-SVN: r177335
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 8936daa..afd338d 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -1114,7 +1114,7 @@ package body Sem_Ch5 is and then List_Length (Alternatives (N)) = 1 then Mark_Non_ALFA_Subprogram - ("OTHERS as unique case alternative is not in 'A'L'F'A", N); + ("OTHERS as unique case alternative is not in ALFA", N); Check_SPARK_Restriction ("OTHERS as unique case alternative is not allowed", N); end if; @@ -1198,7 +1198,7 @@ package body Sem_Ch5 is if Has_Loop_In_Inner_Open_Scopes (U_Name) then Mark_Non_ALFA_Subprogram ("exit label must name the closest enclosing loop" - & " in 'A'L'F'A", N); + & " in ALFA", N); Check_SPARK_Restriction ("exit label must name the closest enclosing loop", N); end if; @@ -1247,7 +1247,7 @@ package body Sem_Ch5 is if Nkind (Parent (N)) /= N_Loop_Statement then Mark_Non_ALFA_Subprogram ("exit with when clause must be directly in loop" - & " in 'A'L'F'A", N); + & " in ALFA", N); Check_SPARK_Restriction ("exit with when clause must be directly in loop", N); end if; @@ -1256,18 +1256,18 @@ package body Sem_Ch5 is if Nkind (Parent (N)) /= N_If_Statement then if Nkind (Parent (N)) = N_Elsif_Part then Mark_Non_ALFA_Subprogram - ("exit must be in IF without ELSIF in 'A'L'F'A", N); + ("exit must be in IF without ELSIF in ALFA", N); Check_SPARK_Restriction ("exit must be in IF without ELSIF", N); else Mark_Non_ALFA_Subprogram - ("exit must be directly in IF in 'A'L'F'A", N); + ("exit must be directly in IF in ALFA", N); Check_SPARK_Restriction ("exit must be directly in IF", N); end if; elsif Nkind (Parent (Parent (N))) /= N_Loop_Statement then Mark_Non_ALFA_Subprogram - ("exit must be in IF directly in loop in 'A'L'F'A", N); + ("exit must be in IF directly in loop in ALFA", N); Check_SPARK_Restriction ("exit must be in IF directly in loop", N); @@ -1276,7 +1276,7 @@ package body Sem_Ch5 is elsif Present (Else_Statements (Parent (N))) then Mark_Non_ALFA_Subprogram - ("exit must be in IF without ELSE in 'A'L'F'A", N); + ("exit must be in IF without ELSE in ALFA", N); Check_SPARK_Restriction ("exit must be in IF without ELSE", N); -- An exit in an ELSIF does not reach here, as it would have been @@ -1284,7 +1284,7 @@ package body Sem_Ch5 is elsif Present (Elsif_Parts (Parent (N))) then Mark_Non_ALFA_Subprogram - ("exit must be in IF without ELSIF in 'A'L'F'A", N); + ("exit must be in IF without ELSIF in ALFA", N); Check_SPARK_Restriction ("exit must be in IF without ELSIF", N); end if; end if; @@ -1313,7 +1313,7 @@ package body Sem_Ch5 is Label_Ent : Entity_Id; begin - Mark_Non_ALFA_Subprogram ("goto statement is not in 'A'L'F'A", N); + Mark_Non_ALFA_Subprogram ("goto statement is not in ALFA", N); Check_SPARK_Restriction ("goto statement is not allowed", N); -- Actual semantic checks |