Searched refs:get_gcov_intermediate_filename (Results 1 – 6 of 6) sorted by relevance
1103 get_gcov_intermediate_filename (const char *file_name) in get_gcov_intermediate_filename() function1425 gcov_intermediate_filename = get_gcov_intermediate_filename (file_name); in generate_results()
1183 get_gcov_intermediate_filename (const char *input_file_name) in get_gcov_intermediate_filename() function1523 gcov_intermediate_filename = get_gcov_intermediate_filename (file_name); in generate_results()
7426 (get_gcov_intermediate_filename): New function.34085 (get_gcov_intermediate_filename): Remove.
16237 (get_gcov_intermediate_filename): Handle properly -p and -x
6800 (get_gcov_intermediate_filename): Return new extension
27243 (get_gcov_intermediate_filename): New function.