Searched refs:dot_dump (Results 1 – 1 of 1) sorted by relevance
287 char const * dot_dump = rindex(++dumpfilename, '.'); in process_jit_dumpfile() local288 if (!dot_dump) in process_jit_dumpfile()290 proc_id_length = dot_dump - dumpfilename; in process_jit_dumpfile()