http://d.puremagic.com/issues/show_bug.cgi?id=5176



--- Comment #33 from Andrei Alexandrescu <[email protected]> 2013-05-20 
05:34:03 PDT ---
(In reply to comment #32)
> Buzz* b;
> 
> auto deref1 = &(b.qux[7]); // take address below 4kb.
> deref1.bar[300] = 0; // offset is bellow 4kb, but the address is above 4kb.

This is a red herring. The null check is inserted not if the address of the
field falls above the limit, but if the address of the field PLUS the size of
the field does.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

Reply via email to