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

* commit '9ea4a93674b42f213334bb83d1982db11091b96a':
  Use induction variable range analysis in BCE (statically).