Searched refs:obj_dumped (Results 1 – 1 of 1) sorted by relevance
65 static Bool* obj_dumped = 0; variable91 obj_dumped = dump_array; in init_dump_array()92 file_dumped = obj_dumped + CLG_(stat).distinct_objs; in init_dump_array()108 obj_dumped = 0; in free_dump_array()130 CLG_ASSERT(obj_dumped != 0); in print_obj()131 if (obj_dumped[obj->number]) in print_obj()143 if (!obj_dumped[obj->number]) { in print_obj()144 obj_dumped[obj->number]; in print_obj()149 obj_dumped[obj->number] = True; in print_obj()