Searched refs:file_dumped (Results 1 – 1 of 1) sorted by relevance
66 static Bool* file_dumped = 0; variable92 file_dumped = obj_dumped + CLG_(stat).distinct_objs; in init_dump_array()93 fn_dumped = file_dumped + CLG_(stat).distinct_files; in init_dump_array()109 file_dumped = 0; in free_dump_array()156 CLG_ASSERT(file_dumped != 0); in print_file()157 if (file_dumped[file->number]) in print_file()161 file_dumped[file->number] = True; in print_file()