diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-13 08:06:18 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-13 08:06:18 +0000 |
| commit | 96cdd379c398499f0b19e3b469b72b77857995c6 (patch) | |
| tree | 9aa7fad1c8ca248cdf72d4118361dfc3b007e390 /gcc/ada/gcc-interface | |
| parent | dfa6d55af715a2b902d6ed30f2c0276b1709dd5b (diff) | |
| download | gcc-96cdd379c398499f0b19e3b469b72b77857995c6.zip gcc-96cdd379c398499f0b19e3b469b72b77857995c6.tar.gz gcc-96cdd379c398499f0b19e3b469b72b77857995c6.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions