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

Lines Matching refs:already_present

545       Bool already_present;
556 already_present = VG_(addToFM)( sitree, (UWord)nyu, 0 );
559 tl_assert(!already_present);
688 Bool already_present;
703 already_present = VG_(lookupFM)( gitree, &keyW, &valW, (UWord)nyu );
704 if (already_present) {
733 already_present = VG_(addToFM)( gitree, (UWord)nyu, 0 );
739 if (already_present && moans > 0 && !VG_(clo_xml)) {
754 /* tl_assert(!already_present); */