randomize-lines - amd64

rl.c

Gimple

./rl.c.004t.gimple

GKD

./rl.o.gkd

OBJ

obj: ./rl.o

alloc.c

Gimple

./alloc.c.004t.gimple

GKD

./alloc.o.gkd

OBJ

obj: ./alloc.o

buffer.c

Gimple

./buffer.c.004t.gimple

GKD

./buffer.o.gkd

OBJ

obj: ./buffer.o

random.c

Gimple

./random.c.004t.gimple

GKD

./random.o.gkd

OBJ

obj: ./random.o

includes

rl.c

../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/getopt.h ./buffer.h ./alloc.h ./random.h ../headers//usr/include/string.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

alloc.c

../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/libio.h ../headers//usr/include/stdio.h ./rl.h ../headers//usr/include/stdlib.h

buffer.c

../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 ./buffer.h ./alloc.h

random.c

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