Whitespace cleanup related to cleanup of creating copies of subprogram
specifications, which was needed for expanding dispatching wrappers for
GNATprove.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_aggr.adb (Two_Pass_Aggregate_Expansion): Fix whitespace.
* libgnat/a-cofuve.ads (Add): Likewise.
* sem_ch3.adb (Build_Access_Subprogram_Wrapper): Likewise.diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -6408,7 +6408,7 @@ package body Exp_Aggr is
One_Loop := Make_Loop_Statement (Loc,
Iteration_Scheme =>
Make_Iteration_Scheme (Loc,
- Iterator_Specification => New_Copy_Tree (Iter)),
+ Iterator_Specification => New_Copy_Tree (Iter)),
Statements => New_List (Incr));
Append (One_Loop, Size_Expr_Code);
@@ -6540,7 +6540,7 @@ package body Exp_Aggr is
One_Loop := Make_Loop_Statement (Loc,
Iteration_Scheme =>
Make_Iteration_Scheme (Loc,
- Iterator_Specification => Copy_Separate_Tree (Iter)),
+ Iterator_Specification => Copy_Separate_Tree (Iter)),
Statements => New_List (New_Comp, Incr));
Append (One_Loop, Insertion_Code);
diff --git a/gcc/ada/libgnat/a-cofuve.ads b/gcc/ada/libgnat/a-cofuve.ads
--- a/gcc/ada/libgnat/a-cofuve.ads
+++ b/gcc/ada/libgnat/a-cofuve.ads
@@ -303,7 +303,7 @@ package Ada.Containers.Functional_Vectors with SPARK_Mode is
and then Get (Add'Result, Position) = New_Item
and then Range_Equal
(Left => Container,
- Right => Add'Result,
+ Right => Add'Result,
Fst => Index_Type'First,
Lst => Index_Type'Pred (Position))
and then Range_Shifted
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -6780,7 +6780,7 @@ package body Sem_Ch3 is
Append (
Make_Parameter_Specification (Loc,
Defining_Identifier => Make_Temporary (Loc, 'P'),
- Parameter_Type => New_Occurrence_Of (Id, Loc)),
+ Parameter_Type => New_Occurrence_Of (Id, Loc)),
Profile);
if Nkind (Type_Def) = N_Access_Procedure_Definition then
