From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-397824-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 7611 invoked by alias); 2 Aug 2012 08:05:20 -0000
Received: (qmail 7600 invoked by uid 22791); 2 Aug 2012 08:05:19 -0000
X-SWARE-Spam-Status: No, hits=-4.3 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00,KHOP_THREADED
X-Spam-Check-By: sourceware.org
Received: from localhost (HELO gcc.gnu.org) (127.0.0.1)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 02 Aug 2012 08:05:07 +0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/50672] [4.7/4.8 Regression] ice: verify_ssa failed: no immediate_use list
Date: Thu, 02 Aug 2012 08:05:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.7.0
X-Bugzilla-Changed-Fields: Status AssignedTo Summary
Message-ID: <bug-50672-4-MU8ENe4Uus@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-50672-4@http.gcc.gnu.org/bugzilla/>
References: <bug-50672-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2012-08/txt/msg00096.txt.bz2

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |ASSIGNED
         AssignedTo|tom at codesourcery dot com |rguenth at gcc dot gnu.org
            Summary|[4.7 Regression] ice:       |[4.7/4.8 Regression] ice:
                   |verify_ssa failed: no       |verify_ssa failed: no
                   |immediate_use list          |immediate_use list

--- Comment #18 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-08-02 08:05:05 UTC ---
Let me look into this some more - I removed the code because we later
mark all virtual operands for renaming anyway, so it seemed redundant.  But
yes,
releasing an SSA name and keeping released names in the IL is not going to
work.  The original testcase still passes though.