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

Lines Matching full:valw

481    UWord keyW, valW;
484    while (VG_(nextIterFM)( sitree, &keyW, &valW )) {
503    UWord keyW, valW;
508    if (VG_(lookupFM)( sitree, &keyW, &valW, (UWord)&key )) {
510       tl_assert(valW == 0);
597 static void delete_StackTree__vFin ( UWord valW ) {
598    tl_assert(valW == 0);
641    UWord keyW, valW;
645    while (VG_(nextIterFM)( gitree, &keyW, &valW )) {
646       tl_assert(valW == 0);
667    UWord keyW, valW;
671    if (VG_(lookupFM)( gitree, &keyW, &valW, (UWord)&key )) {
673       tl_assert(valW == 0);
690    UWord keyW, valW;
703    already_present = VG_(lookupFM)( gitree, &keyW, &valW, (UWord)nyu );
705       tl_assert(valW == 0);
765    UWord keyW, valW, oldK, oldV;
776    while (VG_(lookupFM)( gitree, &keyW, &valW, (UWord)&key )) {
779       tl_assert(valW == 0);
1141      UWord keyW, valW;
1143      while (VG_(nextIterFM)( giTree, &keyW, &valW )) {
1145         tl_assert(valW == 0);