[Ada] Extended traversal subprograms for GNATprove
tree4f16ff0a2c2c995564555754e558b6e99a2dd2da
-rw-r--r-- 965 .dir-locals.el
-rw-r--r-- 76 .gitattributes
-rw-r--r-- 471 .gitignore
-rw-r--r-- 38475 ABOUT-NLS
-rw-r--r-- 18002 COPYING
-rw-r--r-- 26527 COPYING.LIB
-rw-r--r-- 3324 COPYING.RUNTIME
-rw-r--r-- 35147 COPYING3
-rw-r--r-- 7639 COPYING3.LIB
-rw-r--r-- 628045 ChangeLog
-rw-r--r-- 729 ChangeLog.jit
-rw-r--r-- 3262 ChangeLog.tree-ssa
drwxr-xr-x - INSTALL
-rw-r--r-- 28262 MAINTAINERS
-rw-r--r-- 30732 Makefile.def
-rw-r--r-- 2060787 Makefile.in
-rw-r--r-- 73198 Makefile.tpl
-rw-r--r-- 1026 README
-rwxr-xr-x 5826 ar-lib
-rwxr-xr-x 7333 compile
-rw-r--r-- 25713 config-ml.in
-rwxr-xr-x 44973 config.guess
-rwxr-xr-x 14916 config.rpath
-rwxr-xr-x 31537 config.sub
drwxr-xr-x - config
-rwxr-xr-x 497342 configure
-rw-r--r-- 114414 configure.ac
drwxr-xr-x - contrib
-rwxr-xr-x 22464 depcomp
drwxr-xr-x - fixincludes
drwxr-xr-x - gcc
drwxr-xr-x - gnattools
drwxr-xr-x - gotools
drwxr-xr-x - include
-rwxr-xr-x 14675 install-sh
drwxr-xr-x - intl
drwxr-xr-x - libada
drwxr-xr-x - libatomic
drwxr-xr-x - libbacktrace
drwxr-xr-x - libcc1
drwxr-xr-x - libcpp
drwxr-xr-x - libdecnumber
drwxr-xr-x - libffi
drwxr-xr-x - libgcc
drwxr-xr-x - libgfortran
drwxr-xr-x - libgo
drwxr-xr-x - libgomp
drwxr-xr-x - libhsail-rt
drwxr-xr-x - libiberty
drwxr-xr-x - libitm
drwxr-xr-x - libobjc
drwxr-xr-x - liboffloadmic
drwxr-xr-x - libphobos
drwxr-xr-x - libquadmath
drwxr-xr-x - libsanitizer
drwxr-xr-x - libssp
drwxr-xr-x - libstdc++-v3
-rwxr-xr-x 3468 libtool-ldflags
-rw-r--r-- 263888 libtool.m4
drwxr-xr-x - libvtv
-rw-r--r-- 1768 ltgcc.m4
-rw-r--r-- 249737 ltmain.sh
drwxr-xr-x - lto-plugin
-rw-r--r-- 11950 ltoptions.m4
-rw-r--r-- 4372 ltsugar.m4
-rw-r--r-- 703 ltversion.m4
-rw-r--r-- 6126 lt~obsolete.m4
drwxr-xr-x - maintainer-scripts
-rwxr-xr-x 6872 missing
-rwxr-xr-x 2179 mkdep
-rwxr-xr-x 3538 mkinstalldirs
-rwxr-xr-x 2636 move-if-change
-rw-r--r-- 1608 multilib.am
-rwxr-xr-x 2265 symlink-tree
-rwxr-xr-x 4641 test-driver
-rwxr-xr-x 6421 ylwrap
drwxr-xr-x - zlib