From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8636 invoked by alias); 19 Jun 2011 07:57:43 -0000 Received: (qmail 8627 invoked by uid 22791); 19 Jun 2011 07:57:43 -0000 X-SWARE-Spam-Status: No, hits=-2.3 required=5.0 tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,SPF_HELO_PASS,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from smtp-out.google.com (HELO smtp-out.google.com) (74.125.121.67) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sun, 19 Jun 2011 07:57:29 +0000 Received: from kpbe14.cbf.corp.google.com (kpbe14.cbf.corp.google.com [172.25.105.78]) by smtp-out.google.com with ESMTP id p5J7vRbI026431 for ; Sun, 19 Jun 2011 00:57:28 -0700 Received: from ywf7 (ywf7.prod.google.com [10.192.6.7]) by kpbe14.cbf.corp.google.com with ESMTP id p5J7vPN4019151 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Sun, 19 Jun 2011 00:57:26 -0700 Received: by ywf7 with SMTP id 7so2225434ywf.41 for ; Sun, 19 Jun 2011 00:57:25 -0700 (PDT) MIME-Version: 1.0 Received: by 10.151.79.10 with SMTP id g10mr4416103ybl.301.1308470245638; Sun, 19 Jun 2011 00:57:25 -0700 (PDT) Received: by 10.150.57.14 with HTTP; Sun, 19 Jun 2011 00:57:25 -0700 (PDT) In-Reply-To: References: Date: Sun, 19 Jun 2011 12:45:00 -0000 Message-ID: Subject: Re: SRA generates uninitialized var use From: Xinliang David Li To: GCC Patches Cc: Richard Guenther Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-System-Of-Record: true X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2011-06/txt/msg01408.txt.bz2 Bootstrap and tested on linux/x86_64. Ok for trunk? David On Sat, Jun 18, 2011 at 1:56 AM, Xinliang David Li wro= te: > Compiling the test case in the patch with -O2 -m32 without the fix, > the program will abort. The problem is a var decl whose address is > taken is not marked as addressable leading to bad SSA update (missing > VUSE). =A0(the triaging used the the .after and .after_cleanup dump diff > and found the problem). > > the test is on going. Ok after testing? > > Thanks, > > David >