From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7335 invoked by alias); 12 Aug 2004 18:35:50 -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 7307 invoked by alias); 12 Aug 2004 18:35:49 -0000 Date: Thu, 12 Aug 2004 18:35:00 -0000 Message-ID: <20040812183549.7306.qmail@sourceware.org> From: "dnovillo at redhat dot com" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20040627065304.16225.debian-gcc@lists.debian.org> References: <20040627065304.16225.debian-gcc@lists.debian.org> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug tree-optimization/16225] [3.5 regression] ICE: verify_ssa failed. X-Bugzilla-Reason: CC X-SW-Source: 2004-08/txt/msg01156.txt.bz2 List-Id: ------- Additional Comments From dnovillo at redhat dot com 2004-08-12 18:35 ------- Subject: Re: [3.5 regression] ICE: verify_ssa failed. On Sun, 2004-08-01 at 17:33, giovannibajo at libero dot it wrote: > ------- Additional Comments From giovannibajo at libero dot it 2004-08-01 21:33 ------- > Diego, can you have a quick look at these patches? At least, if you can comment > on the patch to verify_flow_insensitive_alias_info, Jie would know whether it > should work on making it bootstrap fixing the problems it exposes. > Well, call-clobberedness and aliasing are not necessarily related. foo (int i) { int *p, a, b; if (i > 10) p = &b; bar (&a); return *p; } Suppose that for some reason we couldn't use points-to information and end up with alias(*p) = { a, b }. You don't really want the call to 'bar()' to clobber 'b', so marking 'b' call-clobbered is too pessimistic. I'm testing a patch to only mark call-clobbered variables whose address escape. add_may_alias should not be setting call-clobbered bits. Diego. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16225