From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-413046-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 20024 invoked by alias); 23 Jan 2013 13:57:08 -0000
Received: (qmail 19965 invoked by uid 48); 23 Jan 2013 13:56:44 -0000
From: "hubicka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/55797] [4.8 Regression] ICE: verify_cgraph_node failed: edge has no corresponding call_stmt
Date: Wed, 23 Jan 2013 13:57:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hubicka at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: hubicka at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.0
X-Bugzilla-Changed-Fields:
Message-ID: <bug-55797-4-1cLdCcrHSe@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-55797-4@http.gcc.gnu.org/bugzilla/>
References: <bug-55797-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: 2013-01/txt/msg02165.txt.bz2


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

--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> 2013-01-23 13:56:44 UTC ---
This is not really issue with early inliner confused with function not being in
SSA form.  But for aid of esra, we can do that at expense of increasing of peak
memory use - the SSA form is quite bloated just after built and early passes
gets it noticeably smaller, so we may need to schedule another DCE pass or so.

The problem here is however saving body of
file_info::~file_info() (struct file_info * const this)
{
  struct intrusive_ptr * _2;
  struct intrusive_ptr * _5;
  struct intrusive_ptr * _7;
  struct section_info * _9;

  <bb 2>:
  _2 = &this_1(D)->switched_section;
  _9 = _2->px;
  if (_9 != 0B)
    goto <bb 3>;
  else
    goto <bb 5> (<L2>);

  <bb 3>:
  section_info::~section_info (_9);

  <bb 4>:
  operator delete (_9);

<L2>:
  _5 = &this_1(D)->parent;
  intrusive_ptr<file_info>::~intrusive_ptr (_5);
  return;

<L1>:
  _7 = &this_1(D)->parent;
  intrusive_ptr<file_info>::~intrusive_ptr (_7);
  resx 1

}

The basic block <L1> in unreachable, but for some reason it is not removed
prior inlining.  save_function_body must run delete_unreachable_blocks in order
to update SSA after copying and that one gets rid of the call. It updates the
node itself, but not the clones.  I will add code to update clones. 

I suppose this is because