http://d.puremagic.com/issues/show_bug.cgi?id=5176
--- Comment #35 from Andrei Alexandrescu <and...@erdani.com> 2013-05-20 06:05:16 PDT --- (In reply to comment #34) > (In reply to comment #33) > > (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. > > That's what I meant by saying "The referenced object's last available byte". Thanks, I replied to the wrong message. But I don't think that's a special case, the check should always work that way. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------