Searched refs:dump_array_size (Results 1 – 1 of 1) sorted by relevance
83 static Int dump_array_size = 0; variable96 for(i=0;i<dump_array_size;i++) in reset_dump_array()103 dump_array_size = CLG_(stat).distinct_objs + in init_dump_array()109 dump_array_size * sizeof(Bool)); in init_dump_array()117 CLG_DEBUG(1, " init_dump_array: size %d\n", dump_array_size); in init_dump_array()