Lines Matching refs:input_file

40 static FILE		*input_file;	/* Input file name */  variable
102 	if (!input_file) {  in dump_stream()
132 	tmp = fgets(buf, ARRAY_SIZE(buf), input_file);  in read_next_insn()
133 	if (tmp == NULL || feof(input_file))  in read_next_insn()
149 	if (input_file)  in generate_insn()
182 				input_file = stdin;  in parse_args()
184 				input_file = fopen(optarg, "r");  in parse_args()
185 			if (!input_file)  in parse_args()
212 	if (set_seed && input_file)  in parse_args()
216 	if (!input_file) {  in parse_args()
264 		(input_file) ? "given" : "random",  in main()