[Bug other/60785] New: ICE in gsi_for_stmt w/ -O2 -ftree-loop-linear

[Bug other/60785] New: ICE in gsi_for_stmt w/ -O2 -ftree-loop-linear

[asolokha at gmx dot com]

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

            Bug ID: 60785
           Summary: ICE in gsi_for_stmt w/ -O2 -ftree-loop-linear
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com

gcc-4.9.0-alpha20140406 segfaults on x86_64 when compiling the following code
w/ -O2 -ftree-loop-linear:

static int
aqc(void)
{
  return 1;
}

void
gkd(void)
{
  int wu0;
  static int b1y;
  static int gw2;
  static int *ydw = &gw2;
  static int **m3l = &ydw;
  **m3l = 0;
  for (b1y = 0; b1y < 1; ++b1y)
  {
    int *cpj = &gw2;
    if (*ydw |= aqc())
    {
      *cpj = 0;
      *ydw = wu0;
    }
  }
}

Stack trace from cc1 is not fully usable, but here are top 5 frames anyway:
#0  0x000000000072c22c in gsi_for_stmt(gimple_statement_base*) ()
#1  0x0000000000ce708b in ?? ()
#2  0x0000000000ce780f in ?? ()
#3  0x0000000000ceed3e in build_poly_scop(scop*) ()
#4  0x0000000000cd8417 in graphite_transform_loops() ()

This is a regression from previous branches, 4.7.3 and 4.8.2 don't fail here.

[Bug tree-optimization/60785] [4.9 Regression] ICE in gsi_for_stmt w/ -O2 -ftree-loop-linear

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-04-08
          Component|other                       |tree-optimization
   Target Milestone|---                         |4.9.0
            Summary|ICE in gsi_for_stmt w/ -O2  |[4.9 Regression] ICE in
                   |-ftree-loop-linear          |gsi_for_stmt w/ -O2
                   |                            |-ftree-loop-linear
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed, I'll have a look.

[Bug tree-optimization/60785] [4.9 Regression] ICE in gsi_for_stmt w/ -O2 -ftree-loop-linear

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I have a patch.

[Bug tree-optimization/60785] [4.9 Regression] ICE in gsi_for_stmt w/ -O2 -ftree-loop-linear

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.

[Bug tree-optimization/60785] [4.9 Regression] ICE in gsi_for_stmt w/ -O2 -ftree-loop-linear

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Apr  8 10:59:40 2014
New Revision: 209214

URL: http://gcc.gnu.org/viewcvs?rev=209214&root=gcc&view=rev
Log:
2014-04-08  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/60785
    * graphite-sese-to-poly.c (rewrite_phi_out_of_ssa): Treat
    default defs properly.

    * gcc.dg/graphite/pr60785.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr60785.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-sese-to-poly.c
    trunk/gcc/testsuite/ChangeLog