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

Lines Matching defs:oldV

573    UWord oldK, oldV;
582       b = VG_(delFromFM)( sitree, &oldK, &oldV, (UWord)nd );
585       tl_assert(oldV == 0);
765    UWord keyW, valW, oldK, oldV;
783       b = VG_(delFromFM)( gitree, &oldK, &oldV, (UWord)&key );
785       tl_assert(oldV == 0);