Similarly, if the range of values for x is [1,8] and the range of values for y is [64,100], the Static Analyzer doesn’t recognize that “x < y” will always be true.
Similarly, if the range of values for x is [1,8] and the range of values for y is [64,100], the Static Analyzer doesn’t recognize that “x < y” will always be true.