[Bug tree-optimization/18291] [4.0 Regression]: ICE in merge_alias_info

[dnovillo at redhat dot com]

------- Additional Comments From dnovillo at redhat dot com  2004-11-26 22:53 -------
Subject: Re:  [4.0 Regression]: ICE in
	merge_alias_info

On Fri, 2004-11-26 at 22:50 +0000, dnovillo at gcc dot gnu dot org
wrote:
> ------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-11-26 22:50 -------
> (In reply to comment #6)
> 
> > Diego, if you are too busy, just let me know which you prefer and i'll
> implement it.
> >
> I'll take a look, but in principle it seems to me that NMT.1 and NMT.2 should
> actually be the same name tag.  They have overlapping points-to sets, after all.
>  I'm not sure at the moment what would be the best approach.
> 
By which, I mean:

$ cvs diff -dup tree-ssa-alias.c
Index: tree-ssa-alias.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-ssa-alias.c,v
retrieving revision 2.57
diff -d -u -p -r2.57 tree-ssa-alias.c
--- tree-ssa-alias.c    25 Nov 2004 03:54:07 -0000      2.57
+++ tree-ssa-alias.c    26 Nov 2004 22:52:46 -0000
@@ -771,7 +771,7 @@ create_name_tags (struct alias_info *ai)
              if (qi
                  && qi->pt_vars
                  && qi->name_mem_tag
-                 && bitmap_equal_p (pi->pt_vars, qi->pt_vars))
+                 && bitmap_intersect_p (pi->pt_vars, qi->pt_vars))
                {
                  pi->name_mem_tag = qi->name_mem_tag;
                  break;

But that may be too pessimistic.


Diego.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18291