diff options
| -rw-r--r-- | gcc/ada/exp_aggr.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-cofuve.ads | 2 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index bdb483e..df37638 100644 --- 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 index ee52730..b9af5ca 100644 --- 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 index 7fcde4d..158ad4d 100644 --- 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 |