assume, assert, enforce, @safe

[Jonathan M Davis via Digitalmars-d]

On Thursday, 31 July 2014 at 19:11:55 UTC, Timon Gehr wrote:
> On 07/31/2014 09:03 PM, Walter Bright wrote:
>> It means if the control flow does actually get there, a HALT 
>> is executed.
>>
>
> And assuming control flow does not actually get there?

Then the HALT instruction is never hit. The compiler would have 
to be able to prove that reaching the HALT instruction was 
impossible in order to remove it (in which case, I would assume 
that it would remove it, but I wouldn't expect that to happen 
very often).

- Jonathan M Davis