diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_attr.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/sem_res.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index aa049fc..67a18c6 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -4091,7 +4091,7 @@ package body Exp_Attr is elsif Is_Access_Type (Ptyp) then Apply_Access_Check (N); - -- For scalar type, if low bound is a reference to an entity, just + -- For scalar type, if high bound is a reference to an entity, just -- replace with a direct reference. Note that we can only have a -- reference to a constant entity at this stage, anything else would -- have already been rewritten. diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index bd8360f..cd10935 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -4794,7 +4794,7 @@ package body Exp_Ch4 is New_Occurrence_Of (RTE (RE_Check_Standard_Allocator), Loc))); end if; - -- Handle case of qualified expression (other than optimization above) + -- Handle case of qualified expression (other than optimization above). -- First apply constraint checks, because the bounds or discriminants -- in the aggregate might not match the subtype mark in the allocator. diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index fdcef21..6b4e251 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -3322,7 +3322,7 @@ package body Sem_Res is procedure Flag_Effectively_Volatile_Objects (Expr : Node_Id); -- Emit an error concerning the illegal usage of an effectively volatile - -- object in interfering context (SPARK RM 7.13(12)). + -- object in interfering context (SPARK RM 7.1.3(12)). procedure Insert_Default; -- If the actual is missing in a call, insert in the actuals list diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 5f3dc9e..f53c30b 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -1396,7 +1396,7 @@ package body Sem_Util is if Ekind (Desig_Typ) = E_Array_Subtype then Id := First_Index (Desig_Typ); - -- Check whether an index bound is constrained by a discriminant. + -- Check whether an index bound is constrained by a discriminant while Present (Id) loop Index_Typ := Underlying_Type (Etype (Id)); |