Merge "Improve bound analysis on constant range."