Searched refs:exe_filename (Results 1 – 1 of 1) sorted by relevance
2378 const char* exe_filename = NULL; in main() local2389 exe_filename = optarg; in main()2410 if (exe_filename == NULL) in main()2412 output_filename.assign(exe_filename); in main()2417 if (exe_filename != NULL) in main()2419 Dwo_file exe_file(exe_filename); in main()2427 if (exe_filename == NULL && files.empty()) in main()