From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24135 invoked by alias); 26 Nov 2004 22:53:43 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 24097 invoked by alias); 26 Nov 2004 22:53:34 -0000 Date: Fri, 26 Nov 2004 22:53:00 -0000 Message-ID: <20041126225334.24096.qmail@sourceware.org> From: "dnovillo at redhat dot com" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20041103204310.18291.snyder@fnal.gov> References: <20041103204310.18291.snyder@fnal.gov> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug tree-optimization/18291] [4.0 Regression]: ICE in merge_alias_info X-Bugzilla-Reason: CC X-SW-Source: 2004-11/txt/msg03239.txt.bz2 List-Id: ------- 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