checkedint call removal

[Daniel Murphy via Digitalmars-d]

"Daniel Murphy"  wrote in message news:lrct2d$1me8$1 at digitalmars.com...

> > Wait, what? I thought the whole point of enforce is that it will *not*
> > be removed by the compiler, no matter what?
>
> No, the compiler is free to remove it if it can prove it will never be 
> triggered.  eg if the condition is checking a ubyte < 1000.  If the assert 
> in that example is never false, then the enforce is dead code.

Actually, thinking about this some more...

In this program the enforce can be removed

assert(x < y);
enforce(x < y);

But not in this one:

enforce(x < y);
assert(x < y);

because the compiler does need to take control flow into account when 
applying the information in the assert.  In this case the assert does not 
actually give the compiler any new information.