Searched refs:nGuards (Results 1 – 1 of 1) sorted by relevance
955 UWord nGuards = 0; in ML_() local974 nGuards++; in ML_()976 (Int)nGuards, aMin,aMax); in ML_()981 vg_assert(nGuards == 1); in ML_()1026 Word i, nGuards; in ML_() local1041 nGuards = 0; in ML_()1051 nGuards++; in ML_()1053 nGuards, aMin,aMax); in ML_()1132 vg_assert(nGuards == VG_(sizeXA)( results )); in ML_()1133 vg_assert(nGuards >= 0); in ML_()[all …]