| commit | 96cdd379c398499f0b19e3b469b72b77857995c6 | |
| author | Yannick Moy <moy@adacore.com> | |
| Tue, 13 Aug 2019 08:06:18 +0000 (13 08:06 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Tue, 13 Aug 2019 08:06:18 +0000 (13 08:06 +0000) | ||
| tree | 9aa7fad1c8ca248cdf72d4118361dfc3b007e390 | treesnapshot (tar.gz zip) |
| parent | dfa6d55af715a2b902d6ed30f2c0276b1709dd5b | commitdiff |
[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
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
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_util.adb | diffblobblamehistory | |
| gcc/ada/sinfo.ads | diffblobblamehistory |