------- Comment #8 from rguenth at gcc dot gnu dot org 2008-01-28 10:06 ------- Hm, isn't it even 'correct' to propagate a DECL_NO_TBAA_P pointer into uses of a non-DECL_NO_TBAA_P pointer? Of course this shouldn't happen, as then the IL would be wrong. I suppose we can even enforce this via verifying that such copies do not exist (for 4.4).
Otherwise I think the patch should go in 4.3, too. Thanks. Richard. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34862
