[Ada] Skip code not in SPARK for ownership analysis
[official-gcc.git] / libffi / 
tree7ac84cf435e0818c31fe608d684a4d8794cdd45f
drwxr-xr-x   ..
-rw-r--r-- 196853 ChangeLog
-rw-r--r-- 20184 ChangeLog.libffi
-rw-r--r-- 1103 ChangeLog.libgcj
-rw-r--r-- 23008 ChangeLog.v1
-rw-r--r-- 1132 LICENSE
-rw-r--r-- 8153 Makefile.am
-rw-r--r-- 74884 Makefile.in
-rw-r--r-- 16191 README
-rw-r--r-- 17098 acinclude.m4
-rw-r--r-- 44388 aclocal.m4
-rwxr-xr-x 590191 configure
-rw-r--r-- 11899 configure.ac
-rw-r--r-- 5458 configure.host
drwxr-xr-x - doc
-rw-r--r-- 5713 fficonfig.h.in
-rw-r--r-- 6609 generate-darwin-source-and-headers.py
drwxr-xr-x - include
-rw-r--r-- 1384 libffi.map.in
-rw-r--r-- 317 libffi.pc.in
drwxr-xr-x - libffi.xcodeproj
-rw-r--r-- 249 libtool-version
drwxr-xr-x - man
-rw-r--r-- 5609 mdate-sh
-rwxr-xr-x 6430 msvcc.sh
drwxr-xr-x - src
-rw-r--r-- 10 stamp-h.in
drwxr-xr-x - testsuite