am 010c7fd4: Merge "Induction variable range analysis."

* commit '010c7fd437932e0132fc4b44de6274480573ff30':
  Induction variable range analysis.