Searched refs:obj_dumped (Results 1 – 1 of 1) sorted by relevance
84 static Bool* obj_dumped = 0; variable110 obj_dumped = dump_array; in init_dump_array()111 file_dumped = obj_dumped + CLG_(stat).distinct_objs; in init_dump_array()127 obj_dumped = 0; in free_dump_array()191 CLG_ASSERT(obj_dumped != 0); in print_obj()192 if (obj_dumped[obj->number]) in print_obj()205 if (!obj_dumped[obj->number]) { in print_obj()206 obj_dumped[obj->number]; in print_obj()211 obj_dumped[obj->number] = True; in print_obj()