dbar - amd64

dbar.c

Gimple

./dbar.c.004t.gimple

GKD

./dbar.o.gkd

OBJ

obj: ./dbar.o

includes

dbar.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio.h ../headers//usr/include/stdlib.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