From 414e7520e608aaef1cac17bfeddd13af893ef81c Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 4 Mar 2020 13:28:14 +0100 Subject: [PATCH] [Ada] Minor fix style and typos in comments 2020-06-10 Piotr Trojanek 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. --- gcc/ada/exp_attr.adb | 2 +- gcc/ada/exp_ch4.adb | 2 +- gcc/ada/sem_res.adb | 2 +- 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)); -- 2.7.4