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

Lines Matching defs:oldV

574    UWord oldK, oldV;
583       b = VG_(delFromFM)( sitree, &oldK, &oldV, (UWord)nd );
586       tl_assert(oldV == 0);
766    UWord keyW, valW, oldK, oldV;
784       b = VG_(delFromFM)( gitree, &oldK, &oldV, (UWord)&key );
786       tl_assert(oldV == 0);