Lines Matching defs: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 */
