------- Comment #139 from joseph at codesourcery dot com 2007-05-23 21:00 ------- Subject: Re: [4.0/4.1/4.2/4.3 Regression] placement new does not change the dynamic type as it should
On Wed, 23 May 2007, mark at codesourcery dot com wrote: > Of course, Gaby's memory model doesn't allow this optimization either; > we have to worry that "a" and "d" are both in some union somewhere. DR#236 <http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_236.htm> was what eventually said for C that you don't need to worry about that; I'd think the aim should be to get C++ to agree with that ruling. DR#283, to appear in TC3, is what specifies type punning through unions. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29286