From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-172889-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 3411 invoked by alias); 12 Jan 2006 20:30:06 -0000
Received: (qmail 3333 invoked by alias); 12 Jan 2006 20:30:01 -0000
Date: Thu, 12 Jan 2006 20:30:00 -0000
Message-ID: <20060112203001.3332.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-22415-138@http.gcc.gnu.org/bugzilla/>
Subject: [Bug tree-optimization/22415] [4.0 Regression] ICE in coalesce_abnormal_edges
In-Reply-To: <bug-22415-138@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "law at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
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: 2006-01/txt/msg01196.txt.bz2
List-Id: <gcc-bugs.sourceware.org>



------- Comment #7 from law at redhat dot com  2006-01-12 20:30 -------
Subject: Re:  [4.0 Regression] ICE in
        coalesce_abnormal_edges

On Thu, 2006-01-12 at 16:30 +0000, pinskia at gcc dot gnu dot org wrote:


Before PRE a$a_1 is live from the beginning of BB6 through the outgoing
edge into BB3, through BB3, including the outgoing edge from BB3 to BB7
where it dies in the PHI node at the start of BB7.

PRE inserts of use of a$a_1 in BB2, which extends the lifetime of a$a_1
to include BB1 and BB2.  Note that a$a_1 is used in an abnormal PHI
and is marked with SSA_NAME_OCCURS_IN_ABNORMAL_PHI, so PRE shouldn't be
messing with it in any way shape or form.

Anyway, a$a_1 now conflicts with a$a_52 which is live in BB1 and BB2
as well.  a$a_52 gets coalesced with a$a_5, but we're unable to then
coalesce a$a_1 into that set because of the conflict.

You should assign this bug to Daniel since he's the PRE expert.


struct C
{
  int a;
  int *b;
  int *c1 (int x) { return new int[sizeof (int) * x]; }
  C (int x = 0) : a (x) 
  {
        b = c1 (a);
  }
  C (const C & x) : a (x.a) 
  {
        b = c1 (a);
  }
  ~C (void) { if (a) delete b; }
  int &operator [] (int x)
  {
    if (x == 0)
      {
        a = 1;
        b = c1 (1);
      }
    else
        C e (*this);
    return b[x];
  }
  C & operator << (int x) { (*this)[a] = x; return *this; }
};

int
bar (void)
{
  C a;
  int f = 1;
  while (f != -1)
      a << 1;
}


-- 


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