Lines Matching refs:oset
90 // Internal names for the OSet types.
91 typedef OSet AvlTree;
108 // An OSet (AVL tree). If cmp is NULL, the key must be a UWord, and must
457 vg_assert2(0, "OSet{Word,Gen}_Insert: duplicate element added");
784 // set up 'oset' for iteration so that the first key subsequently
788 void VG_(OSetGen_ResetIterAt)(AvlTree* oset, const void* k)
795 vg_assert(oset);
796 stackClear(oset);
798 if (!oset->root)
803 t = oset->root;
808 if (oset->cmp) {
809 cmpresS = (Word)slow_cmp(oset, k, t);
823 stackPush(oset, t, 2);
832 stackPush(oset, t, 2);
836 if (stackPop(oset, &n, &i)) {
840 stackPush(oset, n, 3);
