Lines Matching refs:vg_assert
22 #undef vg_assert
23 #define vg_assert(e) assert(e)
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) );
122 vg_assert( NN == VG_(OSetGen_Size)(oset) );
204 vg_assert( ! VG_(OSetGen_Next)(oset) );
205 vg_assert( ! VG_(OSetGen_Next)(oset) );
215 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
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) );
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) );
338 vg_assert( NN == VG_(OSetWord_Size)(oset) );
376 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
377 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );
385 vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );
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) );
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) );
504 vg_assert( NN == VG_(OSetGen_Size)(oset) );
545 vg_assert( ! VG_(OSetGen_Next)(oset) );
546 vg_assert( ! VG_(OSetGen_Next)(oset) );
555 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
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) );
