From: Gary Dismukes Date: Thu, 13 Oct 2016 12:24:21 +0000 (+0000) Subject: exp_ch7.adb, [...]: Minor typo fixes and reformatting. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c9d2e84b72ff8032b8407bb27e9818f01ba8b55d;p=gcc.git exp_ch7.adb, [...]: Minor typo fixes and reformatting. 2016-10-13 Gary Dismukes * 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 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0d68ec6511e..68c60a4a357 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2016-10-13 Gary Dismukes + + * 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 * sem_prag.ads (Process_Compile_Time_Warning_Or_Error): New diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index f62942c80ff..c5534559d5f 100644 --- a/gcc/ada/einfo.ads +++ b/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. diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index bd4695571c8..031c49734e3 100644 --- a/gcc/ada/exp_ch7.adb +++ b/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 - -- of masters on a per-unit basis. + -- master and a designated type which in turn allows for the reuse of + -- masters on a per-unit basis. All_FMs := Anonymous_Masters (Unit_Id); diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads index 23b78fcb1db..9adc8b2b13f 100644 --- a/gcc/ada/sem.ads +++ b/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 - -- pragmas for size and alignment apropriateness). + -- or Compile_Time_Error after the back end has been called (to check these + -- pragmas for size and alignment appropriateness). In_Default_Expr : Boolean := False; -- Switch to indicate that we are analyzing a default component expression. diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 0190bd7ebfe..7b31ca16ca3 100644 --- a/gcc/ada/sem_attr.adb +++ b/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 diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index 039a44485c4..f8368536c50 100644 --- a/gcc/ada/sem_case.adb +++ b/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 diff --git a/gcc/ada/sem_ch13.ads b/gcc/ada/sem_ch13.ads index af056bebe39..8003f8e3b25 100644 --- a/gcc/ada/sem_ch13.ads +++ b/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 diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 21e4c7fa15e..e553dabaf8f 100644 --- a/gcc/ada/sem_prag.adb +++ b/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 - -- error if the abstract state itself is not utilized - -- (SPARK RM 7.2.4(3d)). In the case where both are utilized, - -- an error will be issued in Check_State_And_Constituent_Use. + -- When only partial refinement is visible, emit an error if the + -- abstract state itself is not utilized (SPARK RM 7.2.4(3d)). In + -- the case where both are utilized, an error will be issued in + -- 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 - -- or Output modes. Emit an error of this is not the case + -- Ensure that the remaining constituents do not have Input, In_Out, + -- or Output modes. Emit an error if this is not the case -- (SPARK RM 7.2.4(5)). ----------------------------- diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index ae456f52960..b229a6c8fe7 100644 --- a/gcc/ada/sem_prag.ads +++ b/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 - -- pragmas for size and alignment apropriateness. + -- analysis but also called after calling the back end to validate these + -- 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