Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching refs:oldK

574    UWord oldK, oldV;
583 b = VG_(delFromFM)( sitree, &oldK, &oldV, (UWord)nd );
587 tl_assert(nd == (StackTreeNode*)oldK);
766 UWord keyW, valW, oldK, oldV;
784 b = VG_(delFromFM)( gitree, &oldK, &oldV, (UWord)&key );
787 tl_assert(oldK == keyW); /* check we deleted the node we just found */