Searched refs:stdin_filename (Results 1 – 7 of 7) sorted by relevance
302 if (args.files_name == stdin_filename) { in main()315 args.arg_names[i] = (char *)stdin_filename; in main()338 if (args.files_name != stdin_filename) in main()
41 extern const char stdin_filename[];
30 const char stdin_filename[] = "(stdin)"; variable638 args->files_name = stdin_filename; in parse_real()
183 if (!opt_robot && (files_total != 1 || filename != stdin_filename)) { in print_filename()
517 if (pair->src_name == stdin_filename) { in io_open_src_real()
1314 if (filename == stdin_filename) { in list_file()
56 static const char *stdin_filename = "stdin"; variable196 if (file != stdin_filename) in show_cnt()219 file = stdin_filename; in cnt()