[Bug libstdc++/29286] [4.0/4.1/4.2/4.3 Regression] placement new does not change the dynamic type as it should

[mark at codesourcery dot com]

------- Comment #28 from mark at codesourcery dot com  2007-01-02 03:24 -------
Subject: Re:  [4.0/4.1/4.2/4.3 Regression] placement
 new does not change the dynamic type as it should

dberlin at dberlin dot org wrote:

> It would be nice if we could transform those attributes on
> gimplification to something like an
> an "alias preserving cast" (or something of that nature) that states
> that the  cast is type unioning for alias purposes (IE that the
> possible types of the result for TBAA/etc purposes is the union of the
> type of the cast and the type of the cast's operand)..

That sounds reasonable to me.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29286