------- Comment #4 from rguenth at gcc dot gnu dot org 2008-01-22 20:16 ------- I guess we need to treat DECL_NO_TBAA_P in more places to make it really work, I suppose the CHANGE_DYNAMIC_TYPE_EXPR fix also doesn't work in all cases for the same reason.
But as it is mainly the may_alias passes that need the bit, we can probably use something like a NEW_STMT <target_ptr, expr> that is not a GIMPLE assignment. Oh well. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34862