am 8c20e760: Merge "Minor cleanup in range analysis."

* commit '8c20e7609fdc8bbf16979a874301e4cab0dbf355':
  Minor cleanup in range analysis.