Home | History | Annotate | Download | only in drd

Lines Matching refs:oset

44                               // this member variable is the key of an OSet.
134 p->oset[i] = VG_(OSetGen_Create)(0, 0, VG_(malloc), "drd.barrier.bi.1",
141 * all the nodes in the OSet p->oset.
149 OSet* oset;
166 oset = p->oset[1 - (p->pre_iteration & 1)];
167 VG_(OSetGen_ResetIter)(oset);
168 for ( ; (q = VG_(OSetGen_Next)(oset)) != 0; ) {
179 VG_(OSetGen_Destroy)(p->oset[i]);
180 p->oset[i] = NULL;
334 OSet* oset;
360 oset = p->oset[p->pre_iteration & 1];
361 tl_assert(oset);
362 VG_(OSetGen_ResetIter)(oset);
363 for ( ; (q = VG_(OSetGen_Next)(oset)) != 0; ) {
365 void* r = VG_(OSetGen_Remove)(oset, &q->tid);
368 VG_(OSetGen_FreeNode)(oset, q);
369 VG_(OSetGen_ResetIterAt)(oset, &word_tid);
373 q = VG_(OSetGen_Lookup)(oset, &word_tid);
375 q = VG_(OSetGen_AllocNode)(oset, sizeof(*q));
377 VG_(OSetGen_Insert)(oset, q);
378 tl_assert(VG_(OSetGen_Lookup)(oset, &word_tid) == q);
411 OSet* oset;
434 oset = p->oset[p->post_iteration & 1];
435 q = VG_(OSetGen_Lookup)(oset, &word_tid);
456 q = VG_(OSetGen_AllocNode)(oset, sizeof(*q));
458 VG_(OSetGen_Insert)(oset, q);
459 tl_assert(VG_(OSetGen_Lookup)(oset, &word_tid) == q);
476 VG_(OSetGen_ResetIter)(oset);
477 for ( ; (r = VG_(OSetGen_Next)(oset)) != 0; )
510 q = VG_(OSetGen_Lookup)(p->oset[i], &word_tid);