Following the work on the Ada 202X feature of iterated aggregates
(AI12-061), Loop_Actions should have been listed as a semantic field of
nodes of kind N_Iterated_Component_Association. Fix this as well as the
new extended AST traversal which should traverse these fields.
There is no impact on compilation.
2019-08-13 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_util.adb (Traverse_More_Func): Take into account
Loop_Actions inside N_Iterated_Component_Association nodes.
* sinfo.ads: Document correctly Loop_Actions as a field of nodes
of kind N_Iterated_Component_Association.
From-SVN: r274332
+2019-08-13 Yannick Moy <moy@adacore.com>
+
+ * sem_util.adb (Traverse_More_Func): Take into account
+ Loop_Actions inside N_Iterated_Component_Association nodes.
+ * sinfo.ads: Document correctly Loop_Actions as a field of nodes
+ of kind N_Iterated_Component_Association.
+
2019-08-13 Claire Dross <dross@adacore.com>
* libgnat/a-cfinve.adb, libgnat/a-cofove.adb (Find_Index,
2019-08-13 Claire Dross <dross@adacore.com>
* libgnat/a-cfinve.adb, libgnat/a-cofove.adb (Find_Index,
when N_Case_Expression_Alternative =>
Traverse_More (Actions (Node), Result);
when N_Case_Expression_Alternative =>
Traverse_More (Actions (Node), Result);
+ when N_Iterated_Component_Association =>
+ Traverse_More (Loop_Actions (Node), Result);
+
when N_Iteration_Scheme =>
Traverse_More (Condition_Actions (Node), Result);
when N_Iteration_Scheme =>
Traverse_More (Condition_Actions (Node), Result);
N_Iterated_Component_Association =>
(1 => True, -- Defining_Identifier (Node1)
N_Iterated_Component_Association =>
(1 => True, -- Defining_Identifier (Node1)
+ 2 => True, -- Loop_Actions (List2-Sem)
3 => True, -- Expression (Node3)
4 => True, -- Discrete_Choices (List4)
5 => False), -- unused
3 => True, -- Expression (Node3)
4 => True, -- Discrete_Choices (List4)
5 => False), -- unused