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