Searched refs:stdin_filename (Results 1 – 7 of 7) sorted by relevance
288 if (args.files_name == stdin_filename) { in main()301 args.arg_names[i] = (char *)stdin_filename; in main()324 if (args.files_name != stdin_filename) in main()
41 extern const char stdin_filename[];
29 const char stdin_filename[] = "(stdin)"; variable633 args->files_name = stdin_filename; in parse_real()
183 if (!opt_robot && (files_total != 1 || filename != stdin_filename)) { in print_filename()
453 if (pair->src_name == stdin_filename) { in io_open_src_real()
1303 if (filename == stdin_filename) { in list_file()
67 static const char *stdin_filename = "stdin"; variable206 if (file != stdin_filename) in show_cnt()229 file = stdin_filename; in cnt()