From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-283051-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 29968 invoked by alias); 16 Jan 2011 18:10:36 -0000
Received: (qmail 29959 invoked by uid 22791); 16 Jan 2011 18:10:35 -0000
X-SWARE-Spam-Status: No, hits=-2.3 required=5.0	tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW
X-Spam-Check-By: sourceware.org
Received: from mail-qy0-f175.google.com (HELO mail-qy0-f175.google.com) (209.85.216.175)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sun, 16 Jan 2011 18:10:30 +0000
Received: by qyk8 with SMTP id 8so1053766qyk.20        for <gcc-patches@gcc.gnu.org>; Sun, 16 Jan 2011 10:10:28 -0800 (PST)
MIME-Version: 1.0
Received: by 10.224.10.208 with SMTP id q16mr3105567qaq.65.1295201428619; Sun, 16 Jan 2011 10:10:28 -0800 (PST)
Received: by 10.220.190.137 with HTTP; Sun, 16 Jan 2011 10:10:28 -0800 (PST)
In-Reply-To: <20100705161839.GA14621@atrey.karlin.mff.cuni.cz>
References: <20100704224222.GB29130@kam.mff.cuni.cz>	<alpine.LNX.2.00.1007051133160.1429@zhemvz.fhfr.qr>	<20100705102818.GD29130@kam.mff.cuni.cz>	<20100705161839.GA14621@atrey.karlin.mff.cuni.cz>
Date: Sun, 16 Jan 2011 20:09:00 -0000
Message-ID: <AANLkTinFkLsim+hGpWAffosdoiaKZEXM=YOCkesMr7G6@mail.gmail.com>
Subject: Re: PR middle-end/44813 (ICE in Mozilla build in ptr_deref_may_alias_decl_p)
From: "H.J. Lu" <hjl.tools@gmail.com>
To: Jan Hubicka <hubicka@ucw.cz>
Cc: Richard Guenther <rguenther@suse.de>, gcc-patches@gcc.gnu.org
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-IsSubscribed: yes
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
X-SW-Source: 2011-01/txt/msg01085.txt.bz2

On Mon, Jul 5, 2010 at 9:18 AM, Jan Hubicka <hubicka@ucw.cz> wrote:
> Hi,
> here is updated patch, with Richard's reduced testcase that solves some f=
urhter
> problems.
> In particular adding the tester down that ipa-split produce new SSA name
> for return value and sets as definining statement the call (that is wrong
> for DECL_BY_REFERENCE)> =A0I also cleaned up the code a bit there.
> Also ipa-ssa-ccp considers RESULT_DECL as undefined that leads to misopti=
mization
> after fixing the first problem on libstdc++ vector testcase.
>
> Bootstrapped/regtested x86_64-linux, OK?
>
> =A0 =A0 =A0 =A0* tree-ssa-uninit.c (ssa_undefined_value_p): Result decl i=
s defined
> =A0 =A0 =A0 =A0for functions passed by reference.
> =A0 =A0 =A0 =A0* tree.c (needs_to_live_in_memory): RESULT_DECL don't need=
 to live
> =A0 =A0 =A0 =A0in memory when passed by reference.
> =A0 =A0 =A0 =A0* tree-ssa-ccp.c (get_default_value): Only VAR_DECL is und=
efined at
> =A0 =A0 =A0 =A0beggining.
> =A0 =A0 =A0 =A0* ipa-split.c (split_function): Cleanup way return value i=
s passed;
> =A0 =A0 =A0 =A0handle SSA DECL_BY_REFERENCE retvals.
> =A0 =A0 =A0 =A0* tree-ssa.c (verify_def): Verify that RESULT_DECL is read=
 only when
> =A0 =A0 =A0 =A0DECL_BY_REFERENCE is set.
> =A0 =A0 =A0 =A0* tree-inline.c (remap_gimple_stmt): Handle SSA DECL_BY_RE=
FERENCE
> =A0 =A0 =A0 =A0returns.
> =A0 =A0 =A0 =A0* tree-ssa-structalias.c (get_constraint_for_ssa_var, get_=
fi_for_callee,
> =A0 =A0 =A0 =A0find_what_p_points_to): Handle RESULT_DECL.
>

This caused:

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


--=20
H.J.