Lines Matching refs:dump_array
82 static Bool* dump_array = 0;94 CLG_ASSERT(dump_array != 0);97 dump_array[i] = False;107 CLG_ASSERT(dump_array == 0);108 dump_array = (Bool*) CLG_MALLOC("cl.dump.ida.1",110 obj_dumped = dump_array;123 CLG_ASSERT(dump_array != 0);124 VG_(free)(dump_array);126 dump_array = 0;