[gcc/devel/autopar_devel] [Ada] Minor fix style and typos in comments

[gcc/devel/autopar_devel] [Ada] Minor fix style and typos in comments

[Giuliano Belinassi]

https://gcc.gnu.org/g:7caee84d3763addc6756b25107295afe97b16b78

commit 7caee84d3763addc6756b25107295afe97b16b78
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Wed Mar 4 13:28:14 2020 +0100

    [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.

Diff:
---
 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 aa049fcc9f9..67a18c66ed1 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 bd8360f2df4..cd1093521e5 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 fdcef214a7c..6b4e2517cc3 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 5f3dc9e2ba8..f53c30b2426 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));