diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-04 13:28:14 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:34:56 -0400 |
| commit | 414e7520e608aaef1cac17bfeddd13af893ef81c (patch) | |
| tree | 0125b5161d8333fea6a6e917b1bb17d815630631 /gcc | |
| parent | bbfd4f21c04a7e41c68e1841fcbd97853a94eb40 (diff) | |
| download | gcc-414e7520e608aaef1cac17bfeddd13af893ef81c.zip gcc-414e7520e608aaef1cac17bfeddd13af893ef81c.tar.gz gcc-414e7520e608aaef1cac17bfeddd13af893ef81c.tar.bz2 | |
[Ada] Minor fix style and typos in comments
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference): Fix a copy-paste
mistake in comment.
* sem_res.adb (Flag_Effectively_Volatile_Objects): Fix a type in
the SPARK RM rule number.
* exp_ch4.adb, sem_util.adb: Fix style in single line comments.
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)); |