------- Comment #6 from rguenth at gcc dot gnu dot org 2006-07-21 11:00 ------- Backporting
Author: dberlin Date: Wed Feb 15 22:09:45 2006 New Revision: 111120 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111120 Log: 2006-02-15 Daniel Berlin <[EMAIL PROTECTED]> ... * tree-ssa-alias.c (get_tmt_for): Don't handle TYPE_READONLY specially here. ... causes this problem to go away. For reference: Index: gcc/tree-ssa-alias.c =================================================================== --- gcc/tree-ssa-alias.c (revision 115613) +++ gcc/tree-ssa-alias.c (working copy) @@ -1818,8 +1818,7 @@ get_tmt_for (tree ptr, struct alias_info { struct alias_map_d *curr = ai->pointers[i]; tree curr_tag = var_ann (curr->var)->type_mem_tag; - if (tag_set == curr->set - && TYPE_READONLY (tag_type) == TYPE_READONLY (TREE_TYPE (curr_tag))) + if (tag_set == curr->set) { tag = curr_tag; break; @@ -1856,10 +1855,6 @@ get_tmt_for (tree ptr, struct alias_info pointed-to type. */ gcc_assert (tag_set == get_alias_set (tag)); - /* If PTR's pointed-to type is read-only, then TAG's type must also - be read-only. */ - gcc_assert (TYPE_READONLY (tag_type) == TYPE_READONLY (TREE_TYPE (tag))); - return tag; } I'm going to bootstrap and test that backport. -- 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|2006-07-10 13:24:57 |2006-07-21 11:00:32 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28029