Lines Matching refs:oset
45 // this member variable is the key of an OSet.
135 p->oset[i] = VG_(OSetGen_Create)(0, 0, VG_(malloc), "drd.barrier.bi.1",
142 * all the nodes in the OSet p->oset.
150 OSet* oset;
167 oset = p->oset[1 - (p->pre_iteration & 1)];
168 VG_(OSetGen_ResetIter)(oset);
169 for ( ; (q = VG_(OSetGen_Next)(oset)) != 0; ) {
180 VG_(OSetGen_Destroy)(p->oset[i]);
181 p->oset[i] = NULL;
335 OSet* oset;
361 oset = p->oset[p->pre_iteration & 1];
362 tl_assert(oset);
363 VG_(OSetGen_ResetIter)(oset);
364 for ( ; (q = VG_(OSetGen_Next)(oset)) != 0; ) {
366 void* r = VG_(OSetGen_Remove)(oset, &q->tid);
369 VG_(OSetGen_FreeNode)(oset, q);
370 VG_(OSetGen_ResetIterAt)(oset, &word_tid);
374 q = VG_(OSetGen_Lookup)(oset, &word_tid);
376 q = VG_(OSetGen_AllocNode)(oset, sizeof(*q));
378 VG_(OSetGen_Insert)(oset, q);
379 tl_assert(VG_(OSetGen_Lookup)(oset, &word_tid) == q);
412 OSet* oset;
435 oset = p->oset[p->post_iteration & 1];
436 q = VG_(OSetGen_Lookup)(oset, &word_tid);
457 q = VG_(OSetGen_AllocNode)(oset, sizeof(*q));
459 VG_(OSetGen_Insert)(oset, q);
460 tl_assert(VG_(OSetGen_Lookup)(oset, &word_tid) == q);
477 VG_(OSetGen_ResetIter)(oset);
478 for ( ; (r = VG_(OSetGen_Next)(oset)) != 0; )
512 q = VG_(OSetGen_Lookup)(p->oset[i], &word_tid);
