Home | History | Annotate | Download | only in drd

Lines Matching refs:new_capacity

36 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);
314 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity)
321 if (new_capacity > vc->capacity)
329 vc->vc, new_capacity * sizeof(vc->vc[0]));
331 else if (vc->vc && new_capacity > VC_PREALLOCATED)
334 && new_capacity > VC_PREALLOCATED
337 new_capacity * sizeof(vc->vc[0]));
344 && new_capacity <= VC_PREALLOCATED
347 else if (new_capacity > VC_PREALLOCATED)
350 && new_capacity > VC_PREALLOCATED
353 new_capacity * sizeof(vc->vc[0]));
358 && new_capacity <= VC_PREALLOCATED
362 vc->capacity = new_capacity;
364 else if (new_capacity == 0 && vc->vc)
372 tl_assert(new_capacity == 0 || vc->vc != 0);