C++ compiler vs D compiler

[deadalnix via Digitalmars-d]

On Saturday, 3 October 2015 at 19:43:13 UTC, Walter Bright wrote:
> On 10/3/2015 8:43 AM, Timon Gehr wrote:
>> There are also some other, more minor issues. For example, 
>> when the language
>> specification speaks about "memory safety", it is really 
>> unclear what this
>> means, as the language designers seem to think it that it is 
>> fine to have
>> undefined behaviour in a section of code that is "verified 
>> memory safe".
>
> Memory safety means no memory corruption is possible.

Therefore, there can be no undefined behavior in @safe code.