diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-12 08:59:47 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-12 08:59:47 +0000 |
| commit | 1debd630ed40eec6db2f4aab4524fde4643b70a7 (patch) | |
| tree | eaba4c9248223b898394ac925f3e7b6eb9e7077b /gcc/tree.c | |
| parent | d39f6b24d401c8a945fae1488de0dea2252ec7ae (diff) | |
| download | gcc-1debd630ed40eec6db2f4aab4524fde4643b70a7.zip gcc-1debd630ed40eec6db2f4aab4524fde4643b70a7.tar.gz gcc-1debd630ed40eec6db2f4aab4524fde4643b70a7.tar.bz2 | |
[Ada] Adapt new extended traversal of AST to have optional part
The new extended traversal of the AST for GNATprove use now optionally
traverses the ranges under Itypes, based on a formal parameter.
There is no impact on compilation.
2019-08-12 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_util.adb, sem_util.ads (Traverse_More_Func,
Traverse_More_Proc): Add formal parameter for Itypes traversal.
From-SVN: r274291
Diffstat (limited to 'gcc/tree.c')
0 files changed, 0 insertions, 0 deletions