------- Comment #13 from dberlin at gcc dot gnu dot org 2007-08-22 15:52
-------
At least for 4.3, ipa-type-escape is not looking into phi_nodes for address
taking, so we end up returning false for may_alias_p (p, s) because we believe
nobody ever takes the address of s.
IE if (ipa_type_escape_field_does_not_clobber_p (var_type,
TREE_TYPE (ptr)))
incorrectly returns true.
ipa-type-escape.c needs to be changed to scan refs in phi_nodes (it was written
when we had just plain old gimple during IPA)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33136
