[COMMITTED] ada: Use procedural variant of Next_Index where possible
Checks
Commit Message
From: Piotr Trojanek <trojanek@adacore.com>
Code cleanup; semantics is unaffected.
gcc/ada/
* einfo-utils.adb (Write_Entity_Info): Use procedural Next_Index.
* sem_aggr.adb (Collect_Aggr_Bounds): Reuse local constant.
(Resolve_Null_Array_Aggregate): Use procedural Next_Index.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/einfo-utils.adb | 2 +-
gcc/ada/sem_aggr.adb | 6 +++---
2 files changed, 4 insertions(+), 4 deletions(-)
@@ -3171,7 +3171,7 @@ package body Einfo.Utils is
Index := First_Index (Id);
while Present (Index) loop
Write_Attribute (" ", Etype (Index));
- Index := Next_Index (Index);
+ Next_Index (Index);
end loop;
Write_Eol;
@@ -464,8 +464,8 @@ package body Sem_Aggr is
This_Range : constant Node_Id := Aggregate_Bounds (N);
-- The aggregate range node of this specific sub-aggregate
- This_Low : constant Node_Id := Low_Bound (Aggregate_Bounds (N));
- This_High : constant Node_Id := High_Bound (Aggregate_Bounds (N));
+ This_Low : constant Node_Id := Low_Bound (This_Range);
+ This_High : constant Node_Id := High_Bound (This_Range);
-- The aggregate bounds of this specific sub-aggregate
Assoc : Node_Id;
@@ -4175,7 +4175,7 @@ package body Sem_Aggr is
Append (Make_Range (Loc, New_Copy_Tree (Lo), Hi), Constr);
Analyze_And_Resolve (Last (Constr), Etype (Index));
- Index := Next_Index (Index);
+ Next_Index (Index);
end loop;
Set_Compile_Time_Known_Aggregate (N);