Searched defs:gcov_file_name (Results 1 – 2 of 2) sorted by relevance
711 char *gcov_file_name in generate_results() local
1237 char *gcov_file_name = make_gcov_file_name (file_name, src->coverage.name); in output_gcov_file() local