[Ada] Skip code not in SPARK for ownership analysis
[official-gcc.git] / libitm / 
treecd0a0c061c1360dfec89ed2a12cc8a7c39810c65
drwxr-xr-x   ..
-rw-r--r-- 74824 ChangeLog
-rw-r--r-- 3677 Makefile.am
-rw-r--r-- 44943 Makefile.in
-rw-r--r-- 5350 aatree.cc
-rw-r--r-- 5016 aatree.h
-rw-r--r-- 16032 acinclude.m4
-rw-r--r-- 44593 aclocal.m4
-rw-r--r-- 4453 alloc.cc
-rw-r--r-- 2059 alloc_c.cc
-rw-r--r-- 6048 alloc_cpp.cc
-rw-r--r-- 1647 barrier.cc
-rw-r--r-- 26473 beginend.cc
-rw-r--r-- 4217 clone.cc
-rw-r--r-- 2555 common.h
-rw-r--r-- 4872 config.h.in
drwxr-xr-x - config
-rw-r--r-- 635828 configure
-rw-r--r-- 9864 configure.ac
-rw-r--r-- 3896 configure.tgt
-rw-r--r-- 3951 containers.h
-rw-r--r-- 16391 dispatch.h
-rw-r--r-- 8822 eh_cpp.cc
-rw-r--r-- 10656 libitm.h
-rw-r--r-- 2817 libitm.map
-rw-r--r-- 155 libitm.spec.in
-rw-r--r-- 35330 libitm.texi
-rw-r--r-- 11792 libitm_i.h
-rw-r--r-- 3638 local.cc
-rw-r--r-- 59504 local_atomic
-rw-r--r-- 15827 method-gl.cc
-rw-r--r-- 28383 method-ml.cc
-rw-r--r-- 10074 method-serial.cc
-rw-r--r-- 2577 query.cc
-rw-r--r-- 11706 retry.cc
drwxr-xr-x - testsuite
-rw-r--r-- 2304 useraction.cc
-rw-r--r-- 2799 util.cc