[PATCH] Add testcase for C++ placement new and the important difference between dtor clobbers and end of scope clobbers
Michael Matz
matz@suse.de
Mon Jan 28 15:40:00 GMT 2019
Hi,
On Mon, 28 Jan 2019, Richard Biener wrote:
> > - MEM[(struct &)&buf1] ={v} {CLOBBER};
> > + buf1 ={v} {CLOBBER};
>
> Eww :/ That means they are not semantically the same which IMHO is
> bad.
But they really are different. One is saying "these bytes contain nothing
anymore", the other says "these bytes are gone". (in the original CLOBBER
design there was only the latter, so perhaps both shouldn't have been
conflated, but alas, afterwards it's always easy to say :) ).
Ciao,
Michael.
More information about the Gcc-patches
mailing list