Lines Matching defs:oldK
573 UWord oldK, oldV;
582 b = VG_(delFromFM)( sitree, &oldK, &oldV, (UWord)nd );
586 tl_assert(nd == (StackTreeNode*)oldK);
765 UWord keyW, valW, oldK, oldV;
783 b = VG_(delFromFM)( gitree, &oldK, &oldV, (UWord)&key );
786 tl_assert(oldK == keyW); /* check we deleted the node we just found */
