http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57341
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Michael Matz from comment #5)
> Nope. Our memory model allows this, the write will dynamically change
> the type of the written memory cell.
But why is that? Just to handle placement new? I'd say it would be better to
make that explicit in the IL.
(In reply to Richard Biener from comment #6)
> /* { dg-options "-msse" { target { i?86-*-* x86_64-*-* } } } */
looks wrong, that will just crash on pre-SSE CPUs (I know, rare).
I think better would be:
/* { dg-additional-options "-msse" { target sse2_runtime } } */
(we don't have sse_runtime target, but I guess it doesn't matter if it won't be
tested on pre-SSE2 CPUs, most of them have SSE2 these days).
