------- Comment #8 from rguenth at gcc dot gnu dot org 2008-05-29 14:30 ------- The correct fix is to build a pointer with TYPE_REF_CAN_ALIAS_ALL for pointers to types with the may_alias attribute. This is the only thing that will make sure it works properly. This can be done in build_pointer_type / build_reference_type but at the cost of a attribute lookup (I have a patch for this).
-- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Last reconfirmed|2008-05-29 13:43:25 |2008-05-29 14:30:55 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36369