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.
