Lionello Lunesu:
I've closed the "valueRange" PR because I now think it's not a good idea, since the values it returns are not stable and any code using it can break in the future as VRP gets smarter. The obvious cases ("valueRange of ubyte returning 0 and 255 resp.") can already be tested by using implicit integer casts, as @yebblies has mentioned in that PR.
OK. But the other idea (value range for if/then, and for pre/post conditions) is still useful.
Bye, bearophile
