Searched refs:nGuards (Results 1 – 1 of 1) sorted by relevance
942 UWord nGuards = 0; in ML_() local961 nGuards++; in ML_()963 (Int)nGuards, aMin,aMax); in ML_()968 vg_assert(nGuards == 1); in ML_()1013 Word i, nGuards; in ML_() local1028 nGuards = 0; in ML_()1038 nGuards++; in ML_()1040 nGuards, aMin,aMax); in ML_()1119 tl_assert(nGuards == VG_(sizeXA)( results )); in ML_()1120 tl_assert(nGuards >= 0); in ML_()[all …]