...caused by moving code here from Atree.
gcc/ada/
* einfo.ads: Add comma.
* contracts.adb: Fix typos.
* exp_attr.adb: Likewise.
* exp_ch5.adb: Likewise.
* exp_ch6.adb: Likewise.
* lib-xref.adb: Likewise.
-- return
-- Result_Obj : constant Typ := _Wrapped_Statements
-- do
- -- <postconditions statments>
+ -- <postconditions statements>
-- end return;
-- end;
--
-- begin
-- _Wrapped_Statements;
- -- <postconditions statments>
+ -- <postconditions statements>
-- end;
-- Create Identifier
-- Wrapped_Statements
-- Defined in functions, procedures, entries, and entry families. Refers
--- to the entity of the _Wrapped_Statements procedure which gets
+-- to the entity of the _Wrapped_Statements procedure, which gets
-- generated as part of the expansion of contracts and postconditions
-- and contains its enclosing subprogram's original source declarations
-- and statements.
if Present (Subp) then
Ins_Nod := Subp;
- -- General case where the postcondtion checks occur after the call
+ -- General case where the postcondition checks occur after the call
-- to _Wrapped_Statements.
else
Declarations : constant List_Id := New_List (Selector_Decl);
- -- Start of processing for Expand_General_Case_Statment
+ -- Start of processing for Expand_General_Case_Statement
begin
if Present (Choice_Index_Decl) then
-- Start of processing for Insert_Level_Assign
begin
- -- Examine further nested condtionals
+ -- Examine further nested conditionals
pragma Assert (Nkind (Branch) =
N_Expression_With_Actions);
Set_Referenced (E);
-- For the case where the entity is on the left hand side of an
- -- assignment statment, we do nothing here.
+ -- assignment statement, we do nothing here.
-- The processing for Analyze_Assignment_Statement will set the
-- Referenced_As_LHS flag.