------- Comment #76 from ian at airs dot com 2007-05-16 18:01 ------- I don't believe that the C++ standards writers really meant to eliminate TBAA. And that is the inevitable consequence of the dynamic memory type approach if you are allowed to change the dynamic type in a function.
If we really want to adopt that approach, then the simple fix is for the C++ frontend to set flag_strict_aliasing to 0. But I don't think we want to do that. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29286
