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

* commit 'cf05d45ca713e9e39a7f5d81ac15e4e3485e040d':
  Various improvements in range analysis.