projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d39f6b2) | patch
[Ada] Adapt new extended traversal of AST to have optional part
authorYannick Moy <moy@adacore.com>
Mon, 12 Aug 2019 08:59:47 +0000 (08:59 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 12 Aug 2019 08:59:47 +0000 (08:59 +0000)
commit1debd630ed40eec6db2f4aab4524fde4643b70a7
treeeaba4c9248223b898394ac925f3e7b6eb9e7077btree
parentd39f6b24d401c8a945fae1488de0dea2252ec7aecommit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history