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

Lines Matching defs:oset
86 void example1singleset(OSet* oset, char *descr)
95    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
96    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
97    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
98    vg_assert( ! VG_(OSetGen_Next)(oset) );
99    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
104       vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Word));
119       VG_(OSetGen_Insert)(oset, vs[i]);
123    vg_assert( NN == VG_(OSetGen_Size)(oset) );
127       assert( VG_(OSetGen_Contains)(oset, vs[i]) );
140       VG_(OSetGen_ResetIterAt) (oset, &k);
143          pval = VG_(OSetGen_Next)(oset);
150       VG_(OSetGen_ResetIterAt) (oset, &k);
153          pval = VG_(OSetGen_Next)(oset);
161       VG_(OSetGen_ResetIterAt) (oset, &k);
164             pval = VG_(OSetGen_Next)(oset);
169          pval = VG_(OSetGen_Next)(oset);
178    assert( ! VG_(OSetGen_Contains)(oset, &v) );
181       assert( ! VG_(OSetGen_Contains)(oset, &v) );
184    assert( ! VG_(OSetGen_Contains)(oset, &v) );
189       assert( vs[i] == VG_(OSetGen_Lookup)(oset, vs[i]) );
197    VG_(OSetGen_ResetIter)(oset);
198    while ( (pv = VG_(OSetGen_Next)(oset)) ) {
205    vg_assert( ! VG_(OSetGen_Next)(oset) );
206    vg_assert( ! VG_(OSetGen_Next)(oset) );
211       pv = VG_(OSetGen_Remove)(oset, vs[i]);
217    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
221       pv = VG_(OSetGen_LookupWithCmp)(oset, vs[i], NULL);
228       assert( ! VG_(OSetGen_Contains)(oset, vs[i]) );
234       pv = VG_(OSetGen_Remove)(oset, vs[i]);
240    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
241    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
242    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
243    vg_assert( ! VG_(OSetGen_Next)(oset) );
244    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
247    VG_(OSetGen_FreeNode)(oset, vs[0]);
248    VG_(OSetGen_FreeNode)(oset, vs[1]);
249    VG_(OSetGen_FreeNode)(oset, vs[2]);
254       VG_(OSetGen_Insert)(oset, vs[i]);
258    OSet_Print(oset, descr, wordToStr);
264    OSet *oset, *oset_empty_clone;
269    // First a single oset, no pool allocator.
270    oset = VG_(OSetGen_Create)(0,
273    example1singleset(oset, "single oset, no pool allocator");
276    VG_(OSetGen_Destroy)(oset);
279    oset = VG_(OSetGen_Create_With_Pool)(0,
284    example1singleset(oset, "single oset, pool allocator");
287    VG_(OSetGen_Destroy)(oset);
291    oset = VG_(OSetGen_Create_With_Pool)
296    oset_empty_clone = VG_(OSetGen_EmptyClone) (oset);
297    example1singleset(oset, "oset, shared pool");
298    example1singleset(oset_empty_clone, "cloned oset, shared pool");
302    VG_(OSetGen_Destroy)(oset);
314    OSet* oset = VG_(OSetWord_Create)(allocate_node, "oset_test.2", free_node);
317    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );
318    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );
319    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
320    vg_assert( 0 == VG_(OSetWord_Size)(oset) );
338       VG_(OSetWord_Insert)(oset, vs[i]);
342    vg_assert( NN == VG_(OSetWord_Size)(oset) );
346       assert( VG_(OSetWord_Contains)(oset, vs[i]) );
352    assert( ! VG_(OSetWord_Contains)(oset, v) );
355       assert( ! VG_(OSetWord_Contains)(oset, v) );
358    assert( ! VG_(OSetWord_Contains)(oset, v) );
362       assert( VG_(OSetWord_Contains)(oset, vs[i]) );
369    VG_(OSetWord_ResetIter)(oset);
370    while ( VG_(OSetWord_Next)(oset, (UWord *)&v) ) {
380    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
381    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
385       assert( VG_(OSetWord_Remove)(oset, vs[i]) );
389    vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );
393       assert( VG_(OSetWord_Contains)(oset, vs[i]) );
398       assert( ! VG_(OSetWord_Contains)(oset, vs[i]) );
403       assert( VG_(OSetWord_Remove)(oset, vs[i]) );
407    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );
408    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );
409    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
410    vg_assert( 0 == VG_(OSetWord_Size)(oset) );
415       VG_(OSetWord_Insert)(oset, vs[i]);
419    OSet_Print(oset, "oset1b", wordToStr);
422    VG_(OSetWord_Destroy)(oset);
473    OSet* oset = VG_(OSetGen_Create)(offsetof(Block, first),
478    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
479    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
480    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
481    vg_assert( ! VG_(OSetGen_Next)(oset) );
482    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
487       vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Block));
504       VG_(OSetGen_Insert)(oset, vs[i]);
508    vg_assert( NN == VG_(OSetGen_Size)(oset) );
513       a = vs[i]->first + 0;    assert( VG_(OSetGen_Contains)(oset, &a) );
514       a = vs[i]->first + 1;    assert( VG_(OSetGen_Contains)(oset, &a) );
515       a = vs[i]->first + 2;    assert( VG_(OSetGen_Contains)(oset, &a) );
521    assert( ! VG_(OSetGen_Contains)(oset, &a) );
523       a = vs[i]->first - 1;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
524       a = vs[i]->first + 3;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
530       a = vs[i]->first + 0;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
531       a = vs[i]->first + 1;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
532       a = vs[i]->first + 2;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
533       assert( vs[i] == VG_(OSetGen_LookupWithCmp)(oset, &a, blockCmp) );
541    VG_(OSetGen_ResetIter)(oset);
542    while ( (pv = VG_(OSetGen_Next)(oset)) ) {
549    vg_assert( ! VG_(OSetGen_Next)(oset) );
550    vg_assert( ! VG_(OSetGen_Next)(oset) );
555       a = vs[i]->first;    assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
559    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
563       a = vs[i]->first + 0;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
564       a = vs[i]->first + 1;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
565       a = vs[i]->first + 2;    assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
570       a = vs[i]->first + 0;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
571       a = vs[i]->first + 1;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
572       a = vs[i]->first + 2;    assert( ! VG_(OSetGen_Contains)(oset, &a) );
578       a = vs[i]->first;    assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
582    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
583    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
584    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
585    vg_assert( ! VG_(OSetGen_Next)(oset) );
586    vg_assert( 0 == VG_(OSetGen_Size)(oset) );
590       VG_(OSetGen_Insert)(oset, vs[i]);
594    VG_(OSetGen_Destroy)(oset);