r274291 - in /trunk/gcc/ada: ChangeLog sem_util...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Mon Aug 12 08:59:47 2019
New Revision: 274291

URL: https://gcc.gnu.org/viewcvs?rev=274291&root=gcc&view=rev
Log:
[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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads