Lines Matching defs:size
42 * Initialize the memory 'vc' points at as a vector clock with size 'size'.
44 * 'size' elements and it becomes the initial value of the vector clock.
48 const unsigned size)
51 vc->size = 0;
54 DRD_(vc_reserve)(vc, size);
55 tl_assert(size == 0 || vc->vc != 0);
58 VG_(memcpy)(vc->vc, vcelem, size * sizeof(vcelem[0]));
59 vc->size = size;
72 DRD_(vc_init)(new, rhs->vc, rhs->size);
86 for (i = 0; i < vc->size; i++)
134 for (j = 0; j < rhs->size; j++)
136 while (i < result->size && result->vc[i].threadid < rhs->vc[j].threadid)
142 if (i >= result->size)
176 for (i = 0; i < result->size; i++)
178 while (j < rhs->size && rhs->vc[j].threadid < result->vc[i].threadid)
180 if (j >= rhs->size)
188 new_size = result->size + rhs->size - shared;
196 for (j = 0; j < rhs->size; j++)
200 while (i < result->size && result->vc[i].threadid < rhs->vc[j].threadid)
205 if (i >= result->size)
207 result->size++;
214 for (k = result->size; k > i; k--)
218 result->size++;
233 tl_assert(result->size == new_size);
256 unsigned size;
261 size = 0;
265 size += VG_(snprintf)(str, reserved, "[");
266 for (i = 0; i < vc->size; i++)
276 size += VG_(snprintf)(str + size, reserved - size,
280 size += VG_(snprintf)(str + size, reserved - size, " ]");
290 * - size <= capacity.
298 tl_assert(vc->size <= vc->capacity);
299 for (i = 1; i < vc->size; i++)
306 * Change the size of the memory block pointed at by vc->vc.
307 * Changes capacity, but does not change size. If the size of the memory