* tree-ssa-loop-niter.c (refine_value_range_using_guard): New.