Add logic for computing rangesets for symbolic subtraction operator and
add test cases.
Hey Manas! Great job, you put this together real quick!
Maybe you can include this as yet another condition in the next if statement? Their bodies are identical.
Maybe you can check (a - b) > 5 && (a - b) < UINT_MAX - 9 to cover the whole range?
This is also Min and Max overflowing on the positive side.
True. I wanted to optimize the following if condition as it looks quite ugly right now! Although, I will concatenate these conditions for now and work on the optimization later.
That's true! I never thought of putting them together. Makes more sense.
I missed it! I will add another case for only Max overflowing on positive side and will keep this test as well.