Am Donnerstag, den 18.04.2019, 07:42 -0600 schrieb Jeff Law: > On 4/18/19 6:20 AM, Uecker, Martin wrote: > > Am Donnerstag, den 18.04.2019, 11:45 +0100 schrieb Peter Sewell: > > > On Thu, 18 Apr 2019 at 10:32, Richard Biener <richard.guent...@gmail.com> > > > wrote:
... > > 4.) Compilers make sure that exposed objects never > > are allocated next to each other (as Jens proposed). > > Ugh. Not sure how you enforce that. Consider that the compiler may > ultimately have no control over layout of data in static storage. One maybe only where it matters? I assume the biggest benefit is for local variables and there the compiler has full control. For arbitrary pointer coming from somewhere, one has no provenance information anyway. Best, Martin
