Searched refs:OSetWord_Next (Results 1 – 4 of 4) sorted by relevance
315 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()366 while ( VG_(OSetWord_Next)(oset, (UWord *)&v) ) { in example1b()376 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()377 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()405 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()
155 extern Bool VG_(OSetWord_Next) ( OSet* os, /*OUT*/UWord* val );
848 Bool VG_(OSetWord_Next)(AvlTree* t, UWord* val) in VG_() argument
1086 while ( VG_(OSetWord_Next)(tmpSet, &addr) ) { in VG_()