[Ada] Extended traversal subprograms for GNATprove

Programming / Compilers / GCC - pmderodat [138bc75d-0d04-0410-961f-82ee72b054a4] - 12 August 2019 08:59 EDT

GNATprove needs traversal subprograms that do not simply traverse syntactic nodes like Atree.Traverse_Func and Atree.Traverse_Proc, but also traverse semantic nodes which are logically children of the nodes. Now available through Sem_Util.Traverse_More_Func and Sem_Util.Traverse_More_Proc.

There is no impact on compilation.

2019-08-12 Yannick Moy

gcc/ada/

- sem_util.adb, sem_util.ads (Traverse_More_Func, Traverse_More_Proc): New traversal subprograms.

ab16206d2f8 [Ada] Extended traversal subprograms for GNATprove
gcc/ada/ChangeLog | 5 ++
gcc/ada/sem_util.adb | 200 ++++++++++++++++++++++++++++++++++++++++++++++++++-
gcc/ada/sem_util.ads | 17 +++++
3 files changed, 221 insertions(+), 1 deletion(-)

Upstream: gcc.gnu.org


  • Share