Cross Reference: /external/valgrind/main/memcheck/tests/unit

Lines Matching defs:oset
85 void example1singleset(OSet* oset, char *descr)
94    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
95    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
96    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
97    vg_assert( ! VG_(OSetGen_Next)(oset) );
98    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
103       vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Word));
118       VG_(OSetGen_Insert)(oset, vs[i]);
122    vg_assert( NN == VG_(OSetGen_Size)(oset) );
126       assert( VG_(OSetGen_Contains)(oset, vs[i]) );
139       VG_(OSetGen_ResetIterAt) (oset, &k);
142          pval = VG_(OSetGen_Next)(oset);
149       VG_(OSetGen_ResetIterAt) (oset, &k);
152          pval = VG_(OSetGen_Next)(oset);
160       VG_(OSetGen_ResetIterAt) (oset, &k);
163             pval = VG_(OSetGen_Next)(oset);
168          pval = VG_(OSetGen_Next)(oset);
177    assert( ! VG_(OSetGen_Contains)(oset, &v) );
180       assert( ! VG_(OSetGen_Contains)(oset, &v) );
183    assert( ! VG_(OSetGen_Contains)(oset, &v) );
188       assert( vs[i] == VG_(OSetGen_Lookup)(oset, vs[i]) );
196    VG_(OSetGen_ResetIter)(oset);
197    while ( (pv = VG_(OSetGen_Next)(oset)) ) {
204    vg_assert( ! VG_(OSetGen_Next)(oset) );
205    vg_assert( ! VG_(OSetGen_Next)(oset) );
210       assert( pv = VG_(OSetGen_Remove)(oset, vs[i]) );
215    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
219       assert( pv = VG_(OSetGen_LookupWithCmp)(oset, vs[i], NULL) );
225       assert( ! VG_(OSetGen_Contains)(oset, vs[i]) );
231       assert( pv = VG_(OSetGen_Remove)(oset, vs[i]) );
236    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
237    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
238    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
239    vg_assert( ! VG_(OSetGen_Next)(oset) );
240    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
243    VG_(OSetGen_FreeNode)(oset, vs[0]);
244    VG_(OSetGen_FreeNode)(oset, vs[1]);
245    VG_(OSetGen_FreeNode)(oset, vs[2]);
250       VG_(OSetGen_Insert)(oset, vs[i]);
254    OSet_Print(oset, descr, wordToStr);
260    OSet *oset, *oset_empty_clone;
265    // First a single oset, no pool allocator.
266    oset = VG_(OSetGen_Create)(0,
269    example1singleset(oset, "single oset, no pool allocator");
272    VG_(OSetGen_Destroy)(oset);
275    oset = VG_(OSetGen_Create_With_Pool)(0,
280    example1singleset(oset, "single oset, pool allocator");
283    VG_(OSetGen_Destroy)(oset);
287    oset = VG_(OSetGen_Create_With_Pool)
292    oset_empty_clone = VG_(OSetGen_EmptyClone) (oset);
293    example1singleset(oset, "oset, shared pool");
294    example1singleset(oset_empty_clone, "cloned oset, shared pool");
298    VG_(OSetGen_Destroy)(oset);
310    OSet* oset = VG_(OSetWord_Create)(allocate_node, "oset_test.2", free_node);
313    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );
314    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );
315    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
316    vg_assert( 0 == VG_(OSetWord_Size)(oset) );
334       VG_(OSetWord_Insert)(oset, vs[i]);
338    vg_assert( NN == VG_(OSetWord_Size)(oset) );
342       assert( VG_(OSetWord_Contains)(oset, vs[i]) );
348    assert( ! VG_(OSetWord_Contains)(oset, v) );
351       assert( ! VG_(OSetWord_Contains)(oset, v) );
354    assert( ! VG_(OSetWord_Contains)(oset, v) );
358       assert( VG_(OSetWord_Contains)(oset, vs[i]) );
365    VG_(OSetWord_ResetIter)(oset);
366    while ( VG_(OSetWord_Next)(oset, (UWord *)&v) ) {
376    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
377    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
381       assert( VG_(OSetWord_Remove)(oset, vs[i]) );
385    vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );
389       assert( VG_(OSetWord_Contains)(oset, vs[i]) );
394       assert( ! VG_(OSetWord_Contains)(oset, vs[i]) );
399       assert( VG_(OSetWord_Remove)(oset, vs[i]) );
403    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );
404    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );
405    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
406    vg_assert( 0 == VG_(OSetWord_Size)(oset) );
411       VG_(OSetWord_Insert)(oset, vs[i]);
415    OSet_Print(oset, "oset1b", wordToStr);
418    VG_(OSetWord_Destroy)(oset);
469    OSet* oset = VG_(OSetGen_Create)(offsetof(Block, first),
474    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
475    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
476    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
477    vg_assert( ! VG_(OSetGen_Next)(oset) );
478    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
483       vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Block));
500       VG_(OSetGen_Insert)(oset, vs[i]);
504    vg_assert( NN == VG_(OSetGen_Size)(oset) );
509       a = vs[i]->first + 0;    assert( VG_(OSetGen_Contains)(oset, &a) );
510       a = vs[i]->first + 1;    assert( VG_(OSetGen_Contains)(oset, &a) );
511       a = vs[i]->first + 2;    assert( VG_(OSetGen_Contains)(oset, &a) );
517    assert( ! VG_(OSetGen_Contains)(oset, &a) );
519       a = vs[i]->first - 1;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
520       a = vs[i]->first + 3;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
526       a = vs[i]->first + 0;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
527       a = vs[i]->first + 1;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
528       a = vs[i]->first + 2;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
529       assert( vs[i] == VG_(OSetGen_LookupWithCmp)(oset, &a, blockCmp) );
537    VG_(OSetGen_ResetIter)(oset);
538    while ( (pv = VG_(OSetGen_Next)(oset)) ) {
545    vg_assert( ! VG_(OSetGen_Next)(oset) );
546    vg_assert( ! VG_(OSetGen_Next)(oset) );
551       a = vs[i]->first;    assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
555    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
559       a = vs[i]->first + 0;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
560       a = vs[i]->first + 1;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
561       a = vs[i]->first + 2;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
566       a = vs[i]->first + 0;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
567       a = vs[i]->first + 1;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
568       a = vs[i]->first + 2;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
574       a = vs[i]->first;    assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
578    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
579    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
580    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
581    vg_assert( ! VG_(OSetGen_Next)(oset) );
582    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
586       VG_(OSetGen_Insert)(oset, vs[i]);
590    VG_(OSetGen_Destroy)(oset);