Searched refs:input_file (Results 1 – 1 of 1) sorted by relevance
53 static FILE *input_file; /* Input file name */ variable115 if (!input_file) { in dump_stream()145 tmp = fgets(buf, ARRAY_SIZE(buf), input_file); in read_next_insn()146 if (tmp == NULL || feof(input_file)) in read_next_insn()162 if (input_file) in generate_insn()195 input_file = stdin; in parse_args()197 input_file = fopen(optarg, "r"); in parse_args()198 if (!input_file) in parse_args()225 if (set_seed && input_file) in parse_args()229 if (!input_file) { in parse_args()[all …]