[Ada] Adapt ghost code to maintain proof
[official-gcc.git] / libsanitizer / 
treeec5ad74b69c12e7e67bdb7364411517334bbfe6d
drwxr-xr-x   ..
-rw-r--r-- 75601 ChangeLog
-rw-r--r-- 2890 HOWTO_MERGE
-rw-r--r-- 4506 LICENSE.TXT
-rw-r--r-- 82 LOCAL_PATCHES
-rw-r--r-- 156 MERGE
-rw-r--r-- 2182 Makefile.am
-rw-r--r-- 25273 Makefile.in
-rw-r--r-- 936 README.gcc
-rw-r--r-- 446 acinclude.m4
-rw-r--r-- 44447 aclocal.m4
drwxr-xr-x - asan
drwxr-xr-x - builtins
-rw-r--r-- 4142 config.h.in
-rwxr-xr-x 605950 configure
-rw-r--r-- 11945 configure.ac
-rw-r--r-- 2310 configure.tgt
drwxr-xr-x - hwasan
drwxr-xr-x - include
drwxr-xr-x - interception
drwxr-xr-x - libbacktrace
-rw-r--r-- 310 libsanitizer.spec.in
drwxr-xr-x - lsan
-rwxr-xr-x 2164 merge.sh
drwxr-xr-x - sanitizer_common
drwxr-xr-x - tsan
drwxr-xr-x - ubsan