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 beremoved 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.