am 4401e56e: am 9ea4a936: Merge "Use induction variable range analysis in BCE (statically)."

* commit '4401e56e0a3ac840c2a666e2133f46914295f9c2':
  Use induction variable range analysis in BCE (statically).