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;
75 DRD_(vc_init)(new, rhs->vc, rhs->size);
89 for (i = 0; i < vc->size; i++)
137 for (j = 0; j < rhs->size; j++)
139 while (i < result->size && result->vc[i].threadid < rhs->vc[j].threadid)
145 if (i >= result->size)
179 for (i = 0; i < result->size; i++)
181 while (j < rhs->size && rhs->vc[j].threadid < result->vc[i].threadid)
183 if (j >= rhs->size)
191 new_size = result->size + rhs->size - shared;
199 for (j = 0; j < rhs->size; j++)
203 while (i < result->size && result->vc[i].threadid < rhs->vc[j].threadid)
208 if (i >= result->size)
210 result->size++;
217 for (k = result->size; k > i; k--)
221 result->size++;
236 tl_assert(result->size == new_size);
259 unsigned size;
264 size = 0;
268 size += VG_(snprintf)(str, reserved, "[");
269 for (i = 0; i < vc->size; i++)
279 size += VG_(snprintf)(str + size, reserved - size,
283 size += VG_(snprintf)(str + size, reserved - size, " ]");
293 * - size <= capacity.
302 tl_assert(vc->size <= vc->capacity);
304 for (i = 1; i < vc->size; i++)
309 * Change the size of the memory block pointed at by vc->vc.
310 * Changes capacity, but does not change size. If the size of the memory
