[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 --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index aa049fcc9f9fa56bb9aeed759e1e00771db4f68e..67a18c66ed1a81bc04ecb0e457cb8f644aa57547 100644 (file)
--- 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 bd8360f2df4114b6aa6f29538435235eeea493eb..cd1093521e5d2b737a249cba05eec8a1e5f3a56d 100644 (file)
--- 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 fdcef214a7c7c959ffd52f1beffe4b2a030b3256..6b4e2517cc39cbf44e5c7585618181196a9181b6 100644 (file)
--- 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 5f3dc9e2ba81a5c0fd0c22a6baab433467981f5f..f53c30b242622cad34c0e0c6950c435ef79d3dd9 100644 (file)
--- 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));