gimple_seq 148 scripts/gcc-plugins/gcc-common.h void debug_gimple_seq(gimple_seq); gimple_seq 149 scripts/gcc-plugins/gcc-common.h void print_gimple_seq(FILE *, gimple_seq, int, int);