------- 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
