D - Unsafe and doomed

[Walter Bright]

On 1/6/2014 8:55 PM, deadalnix wrote:
> On Tuesday, 7 January 2014 at 04:37:12 UTC, Walter Bright wrote:
>> On 1/6/2014 7:20 PM, deadalnix wrote:
>>> On Tuesday, 7 January 2014 at 03:18:01 UTC, Walter Bright wrote:
>>>> Or you could amend the documentation to say that null checks will not be
>>>> removed even if they occur after a dereference.
>>> Which won't be true with LDC and GDC.
>>
>> You're assuming that LDC and GDC are stuck with C semantics.
>
> Unless we plan to rewrite our own optimizer, they are to some extent.

I don't buy that. The back ends are built to compile multiple languages, hence 
they'll have multiple sets of requirements to contend with.