On 30/06/14 15:27, bearophile wrote:
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
I'm actively developing that in my if-else-range branch. It's also part of the PR for issue 259, https://github.com/D-Programming-Language/dmd/pull/1913
It needs to get smarter still if I expect Walter to accept my fix to issue 259.
L.
