Merge "Improve bound analysis on constant range."
am: d78ca5213b

Change-Id: Ic8160d808c71d46848f49ad9bd91c5781d70beaf