buffer - amd64

buffer.c

Gimple

./buffer.c.004t.gimple

GKD

./buffer.o.gkd

OBJ

obj: ./buffer.o

sem.c

Gimple

./sem.c.004t.gimple

GKD

./sem.o.gkd

OBJ

obj: ./sem.o

includes

buffer.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/sys/stat.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h ../headers//usr/include/x86_64-linux-gnu/sys/types.h ../headers//usr/include/time.h ../headers//usr/include/x86_64-linux-gnu/bits/time.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/stat.h ../headers//usr/include/x86_64-linux-gnu/bits/ipc.h ../headers//usr/include/x86_64-linux-gnu/bits/shm.h ../headers//usr/include/x86_64-linux-gnu/sys/time.h ../headers//usr/include/getopt.h ./sem.h ../headers//usr/include/x86_64-linux-gnu/sys/wait.h ../headers//usr/include/x86_64-linux-gnu/sys/shm.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

sem.c

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