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