Re: RFC: Value range propagation for if-else

[Lionello Lunesu via Digitalmars-d]

On 19/06/14 15:59, Timon Gehr wrote:

On 06/18/2014 09:54 PM, Meta wrote:

...

This could be a bad thing. It makes it pretty enticing to use contracts
as input verification instead of logic verification.

The following is doable as well with a standard range analysis:

byte foo(immutable int x){
     if(x<byte.min || x>byte.max)
         throw new InvalidArgumentException("...");
     return x; // ok
}

That will only work now if you use an "else".