[Ada] Complete the more extended AST traversal used in GNATprove

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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 892cbbf85e67da97b1287270681d4d4543ef2d6f..5b88950ace1a31b20719f756ea4f395d7cd5f439 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,10 @@
+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,

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 54ac0a416152f487cc3e7b89003332ae0c028916..4f20eaa358b87cd3beb35bab52b9c38045e8993e 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -25580,6 +25580,9 @@ package body Sem_Util is
             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);
 

diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads
index 064147e262b708cfc3205456766c9411d123833d..e3f7fd32ebe3b953376f3a7ffe28f738b2922ad1 100644 (file)
--- a/gcc/ada/sinfo.ads
+++ b/gcc/ada/sinfo.ads
@@ -11959,7 +11959,7 @@ package Sinfo is
 
      N_Iterated_Component_Association =>
        (1 => True,    --  Defining_Identifier (Node1)
-        2 => False,   --  unused
+        2 => True,    --  Loop_Actions (List2-Sem)
         3 => True,    --  Expression (Node3)
         4 => True,    --  Discrete_Choices (List4)
         5 => False),  --  unused