[Issue 5176] Limit static object sizes

[d-bugmail at puremagic.com]

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



--- Comment #35 from Andrei Alexandrescu <andrei at 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: -------