am 8f70ba72: am cf05d45c: Merge "Various improvements in range analysis."

* commit '8f70ba723bafa15199036d918cd4cf557d79e80e':
  Various improvements in range analysis.