Searched refs:OSetWord_Next (Results 1 – 4 of 4) sorted by relevance
319 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()370 while ( VG_(OSetWord_Next)(oset, (UWord *)&v) ) { in example1b()380 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()381 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()409 vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) ); in example1b()
150 extern Bool VG_(OSetWord_Next) ( OSet* os, /*OUT*/UWord* val );
848 Bool VG_(OSetWord_Next)(AvlTree* t, UWord* val) in VG_() argument
1148 while ( VG_(OSetWord_Next)(tmpSet, &addr) ) { in VG_()