Searched refs:expectedNumUBResults (Results 1 – 1 of 1) sorted by relevance
3452 unsigned expectedNumUBResults = 0; in verify() local3454 expectedNumUBResults += v.getZExtValue(); in verify()3455 if (expectedNumUBResults != getUpperBoundsMap().getNumResults()) in verify()3457 << expectedNumUBResults << " results"; in verify()