Overflows in Phobos

[Timon Gehr via Digitalmars-d]

On 27.07.2016 07:50, Walter Bright wrote:
> On 7/26/2016 10:24 PM, Shachar Shemesh wrote:
>> Most D programmers, however, expect the program not to continue
>> executing past
>> an assert(false). They might see it as a bug. Hence my question
>> whether that
>> means D is not meant for programming in privileged mode.
>
> Obviously, HALT means any instruction of sequence of instructions that
> stops the program from running. Some machines don't even have a HLT
> instruction. Do you want to make a stab at writing this for the spec?
>

His argument is that DMD (also, the spec for x86) gets it wrong, because 
DMD emits HLT, and HLT is not actually designed to terminate the program.