Searched refs:distance_minus_bounds (Results 1 – 3 of 3) sorted by relevance
176 SEConstantNode* distance_minus_bounds = in IsProvablyOutsideOfLoopBounds() local181 if (distance_minus_bounds) { in IsProvablyOutsideOfLoopBounds()185 ToString(distance_minus_bounds->FoldToSingleValue())); in IsProvablyOutsideOfLoopBounds()188 if (distance_minus_bounds->FoldToSingleValue() > 0) { in IsProvablyOutsideOfLoopBounds()