exp_ch7.adb, [...]: Minor typo fixes and reformatting.

2016-10-13  Gary Dismukes  <dismukes@adacore.com>

	* exp_ch7.adb, einfo.ads, sem_prag.adb, sem_prag.ads, sem.ads,
	sem_attr.adb, sem_case.adb, sem_ch13.ads: Minor typo fixes and
	reformatting.

From-SVN: r241109

gcc/ada/ChangeLog

@@ -1,3 +1,9 @@
+2016-10-13  Gary Dismukes  <dismukes@adacore.com>
+
+	* exp_ch7.adb, einfo.ads, sem_prag.adb, sem_prag.ads, sem.ads,
+	sem_attr.adb, sem_case.adb, sem_ch13.ads: Minor typo fixes and
+	reformatting.
+
 2016-10-13  Javier Miranda  <miranda@adacore.com>
 
 	* sem_prag.ads (Process_Compile_Time_Warning_Or_Error): New

gcc/ada/einfo.ads

@@ -440,7 +440,7 @@ package Einfo is
 
 --    Anonymous_Designated_Type (Node35)
 --       Defined in variables which represent anonymous finalization masters.
---       Contains the designated type which is being services by the master.
+--       Contains the designated type which is being serviced by the master.
 
 --    Anonymous_Masters (Elist29)
 --       Defined in packages, subprograms, and subprogram bodies. Contains a
@@ -3795,7 +3795,7 @@ package Einfo is
 --    Partial_Refinement_Constituents (synthesized)
 --       Defined in abstract state entities. Returns the constituents that
 --       refine the state in the current scope, which are allowed in a global
---       refinement in this scope. These consist in those constituents that are
+--       refinement in this scope. These consist of those constituents that are
 --       abstract states with no or only partial refinement visible, and those
 --       that are not themselves abstract states.
 

gcc/ada/exp_ch7.adb

@@ -645,8 +645,8 @@ package body Exp_Ch7 is
 
          --  Include the anonymous master in the list of existing masters which
          --  appear in this unit. This effectively creates a mapping between a
-         --  master and a designated type which in turn allows for the reusal
+         --  master and a designated type which in turn allows for the reuse of
-         --  of masters on a per-unit basis.
+         --  masters on a per-unit basis.
 
          All_FMs := Anonymous_Masters (Unit_Id);
 

gcc/ada/sem.ads

@@ -255,8 +255,8 @@ package Sem is
 
    In_Compile_Time_Warning_Or_Error : Boolean := False;
    --  Switch to indicate that we are validating a pragma Compile_Time_Warning
-   --  or Compile_Time_Error after the backend has been called (to check these
+   --  or Compile_Time_Error after the back end has been called (to check these
-   --  pragmas for size and alignment apropriateness).
+   --  pragmas for size and alignment appropriateness).
 
    In_Default_Expr : Boolean := False;
    --  Switch to indicate that we are analyzing a default component expression.

gcc/ada/sem_attr.adb

@@ -3025,7 +3025,7 @@ package body Sem_Attr is
       when Attribute_Asm_Input =>
          Check_Asm_Attribute;
 
-         --  The back-end may need to take the address of E2
+         --  The back end may need to take the address of E2
 
          if Is_Entity_Name (E2) then
             Set_Address_Taken (Entity (E2));
@@ -3052,7 +3052,7 @@ package body Sem_Attr is
 
          Note_Possible_Modification (E2, Sure => True);
 
-         --  The back-end may need to take the address of E2
+         --  The back end may need to take the address of E2
 
          if Is_Entity_Name (E2) then
             Set_Address_Taken (Entity (E2));
@@ -4991,7 +4991,7 @@ package body Sem_Attr is
             --  out-of-order issues.
 
             --  This expansion is both harmful and not needed in SPARK mode,
-            --  since the formal verification backend relies on the types of
+            --  since the formal verification back end relies on the types of
             --  nodes (hence is not robust w.r.t. a change to base type here),
             --  and does not suffer from the out-of-order issue described
             --  above. Thus, this expansion is skipped in SPARK mode.
@@ -5748,7 +5748,7 @@ package body Sem_Attr is
          Set_Etype (N, Universal_Integer);
 
          --  If we are processing pragmas Compile_Time_Warning and Compile_
-         --  Time_Errors after the backend has been called and this occurrence
+         --  Time_Errors after the back end has been called and this occurrence
          --  of 'Size is known at compile time then it is safe to perform this
          --  evaluation. Needed to perform the static evaluation of the full
          --  boolean expression of these pragmas.
@@ -6276,9 +6276,9 @@ package body Sem_Attr is
             Store_String_Char (Get_String_Char (Full_Name, Pos (J)));
          end loop;
 
-         --  For standard type return the name of the type. as there is no
+         --  For standard types return the name of the type, as there is no
          --  explicit source declaration to use. Otherwise compute CRC and
-         --  convert it to string one character at a time so as not to use
+         --  convert it to string one character at a time, so as not to use
          --  Image within the compiler.
 
          if Scope (Entity (P)) /= Standard_Standard then

gcc/ada/sem_case.adb

@@ -133,7 +133,7 @@ package body Sem_Case is
       --  found an illegal intersection.
 
       procedure Check_Duplicates;
-      --  Check for duplicate choices, and call Dup_Choice is there are any
+      --  Check for duplicate choices, and call Dup_Choice if there are any
       --  such errors. Note that predicates are irrelevant here.
 
       procedure Dup_Choice (Lo, Hi : Uint; C : Node_Id);
@@ -811,7 +811,7 @@ package body Sem_Case is
       --  Then check for overlaps
 
       --  If the subtype has a static predicate, the predicate defines subsets
-      --  of legal values and requires finer grained analysis.
+      --  of legal values and requires finer-grained analysis.
 
       --  Note that in GNAT the predicate is considered static if the predicate
       --  expression is static, independently of whether the aspect mentions

gcc/ada/sem_ch13.ads

@@ -192,13 +192,13 @@ package Sem_Ch13 is
    --  N is a pragma Compile_Time_Error or Compile_Warning_Error whose boolean
    --  expression is not known at compile time. This procedure makes an entry
    --  in a table. The actual checking is performed by Validate_Compile_Time_
-   --  Warning_Errors which is invoked after calling the backend.
+   --  Warning_Errors, which is invoked after calling the back end.
 
    procedure Validate_Compile_Time_Warning_Errors;
-   --  This routine is called after calling the backend to validate pragmas
+   --  This routine is called after calling the back end to validate pragmas
    --  Compile_Time_Error and Compile_Time_Warning for size and alignment
    --  appropriateness. The reason it is called that late is to take advantage
-   --  of any back-annotation of size and alignment performed by the backend.
+   --  of any back-annotation of size and alignment performed by the back end.
 
    procedure Validate_Unchecked_Conversion
      (N        : Node_Id;
@@ -212,10 +212,10 @@ package Sem_Ch13 is
    --  back end as required.
 
    procedure Validate_Unchecked_Conversions;
-   --  This routine is called after calling the backend to validate unchecked
+   --  This routine is called after calling the back end to validate unchecked
    --  conversions for size and alignment appropriateness. The reason it is
    --  called that late is to take advantage of any back-annotation of size
-   --  and alignment performed by the backend.
+   --  and alignment performed by the back end.
 
    procedure Validate_Address_Clauses;
    --  This is called after the back end has been called (and thus after the

gcc/ada/sem_prag.adb

@@ -263,7 +263,7 @@ package body Sem_Prag is
       Constit_Id : Entity_Id) return Entity_Id;
    --  Given the entity of a constituent Constit_Id, find the corresponding
    --  encapsulating state which appears in States. The routine returns Empty
-   --  is no such state is found.
+   --  if no such state is found.
 
    function Find_Related_Context
      (Prag      : Node_Id;
@@ -24848,10 +24848,10 @@ package body Sem_Prag is
 
             --  Not one of the constituents appeared as Input. Always emit an
             --  error when the full refinement is visible (SPARK RM 7.2.4(3a)).
-            --  When only partial refinement is visible, emit an
+            --  When only partial refinement is visible, emit an error if the
-            --  error if the abstract state itself is not utilized
+            --  abstract state itself is not utilized (SPARK RM 7.2.4(3d)). In
-            --  (SPARK RM 7.2.4(3d)). In the case where both are utilized,
+            --  the case where both are utilized, an error will be issued in
-            --  an error will be issued in Check_State_And_Constituent_Use.
+            --  Check_State_And_Constituent_Use.
 
             if not In_Seen
               and then (Has_Visible_Refinement (State_Id)
@@ -25032,8 +25032,8 @@ package body Sem_Prag is
          procedure Check_Constituent_Usage (State_Id : Entity_Id);
          --  Determine whether at least one constituent of state State_Id with
          --  full or partial visible refinement is used and has mode Proof_In.
-         --  Ensure that the remaining constituents do not have Input, In_Out
+         --  Ensure that the remaining constituents do not have Input, In_Out,
-         --  or Output modes. Emit an error of this is not the case
+         --  or Output modes. Emit an error if this is not the case
          --  (SPARK RM 7.2.4(5)).
 
          -----------------------------

gcc/ada/sem_prag.ads

@@ -490,8 +490,8 @@ package Sem_Prag is
       Eloc : Source_Ptr);
    --  Common processing for Compile_Time_Error and Compile_Time_Warning of
    --  pragma N. Called when the pragma is processed as part of its regular
-   --  analysis but also called after calling the backend to validate these
+   --  analysis but also called after calling the back end to validate these
-   --  pragmas for size and alignment apropriateness.
+   --  pragmas for size and alignment appropriateness.
 
    procedure Process_Compilation_Unit_Pragmas (N : Node_Id);
    --  Called at the start of processing compilation unit N to deal with any