Lines Matching defs:input_file
213 FILE *input_file;
226 input_file = fopen (pathname, "r");
227 if (input_file != NULL)
237 input_file = fopen (pathname, "r");
238 if (input_file == NULL)
259 while (read_rtx (input_file, &desc, &lineno))
268 fclose (input_file);
920 FILE *input_file;
1008 input_file = stdin;
1011 while (read_rtx (input_file, &desc, &lineno))
1013 fclose (input_file);
1038 input_file = fopen (in_fname, "r");
1039 if (input_file == 0)
1045 while (read_rtx (input_file, &desc, &lineno))
1047 fclose (input_file);
1057 input_file = stdin;
1059 while (read_rtx (input_file, &desc, &lineno))
1061 fclose (input_file);