mutextrace - amd64

mutextrace.c

Gimple

./mutextrace.c.004t.gimple

GKD

./mutextrace.o.gkd

OBJ

obj: ./mutextrace.o

includes

mutextrace.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/unistd.h ../headers//usr/include/string.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

mutex_working.c

Gimple

./mutex_working.c.004t.gimple

GKD

./mutex_working.o.gkd

OBJ

obj: ./mutex_working.o

includes

mutex_working.c

../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/pthread.h

two_threads_one_mutex.c

Gimple

./two_threads_one_mutex.c.004t.gimple

GKD

./two_threads_one_mutex.o.gkd

OBJ

obj: ./two_threads_one_mutex.o

includes

two_threads_one_mutex.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/pthread.h ../headers//usr/include/unistd.h

two_threads_one_mutex.c

Gimple

./two_threads_one_mutex.c.004t.gimple

GKD

./two_threads_one_mutex.o.gkd

OBJ

obj: ./two_threads_one_mutex.o

includes

two_threads_one_mutex.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/pthread.h ../headers//usr/include/unistd.h

mutex_working.c

Gimple

./mutex_working.c.004t.gimple

GKD

./mutex_working.o.gkd

OBJ

obj: ./mutex_working.o

includes

mutex_working.c

../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/pthread.h

mutex_destroy.c

Gimple

./mutex_destroy.c.004t.gimple

GKD

./mutex_destroy.o.gkd

OBJ

obj: ./mutex_destroy.o

mutex_init.c

Gimple

./mutex_init.c.004t.gimple

GKD

./mutex_init.o.gkd

OBJ

obj: ./mutex_init.o

mutex_lock.c

Gimple

./mutex_lock.c.004t.gimple

GKD

./mutex_lock.o.gkd

OBJ

obj: ./mutex_lock.o

mutex_unlock.c

Gimple

./mutex_unlock.c.004t.gimple

GKD

./mutex_unlock.o.gkd

OBJ

obj: ./mutex_unlock.o

real.c

Gimple

./real.c.004t.gimple

GKD

./real.o.gkd

OBJ

obj: ./real.o

store.c

Gimple

./store.c.004t.gimple

GKD

./store.o.gkd

OBJ

obj: ./store.o

thread_create.c

Gimple

./thread_create.c.004t.gimple

GKD

./thread_create.o.gkd

OBJ

obj: ./thread_create.o

includes

mutex_destroy.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ./store.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./real.h ../headers//usr/include/pthread.h

mutex_init.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ./store.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./real.h ../headers//usr/include/pthread.h

mutex_lock.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ./store.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./real.h ../headers//usr/include/pthread.h

mutex_unlock.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ./store.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./real.h ../headers//usr/include/pthread.h

real.c

../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/dlfcn.h

store.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ./store.h ./real.h ../headers//usr/include/stdlib.h

thread_create.c

../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/x86_64-linux-gnu/bits/setjmp.h ../headers//usr/include/pthread.h ./store.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./real.h