[Bug tree-optimization/43306] New: [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[Bug tree-optimization/43306] New: [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[zsojka at seznam dot cz]

Command line:
gcc -O1 -fstrict-overflow -fgraphite-identity testcase.c

------ testcase.c ------
void foo(int x[])
{
  int i, j;
  for (i = 0; i < 2; i++)
    for (j = 0; j < 2; j++)
      x[i] = x[i*j];
}
------------------------
(almost the same as testsuite/gcc.dg/tree-ssa/pr34635.c)

Tested revisions:
trunk r157292 - crash
trunk r156999 - crash
trunk r153685 - crash
4.4 r157120 - OK

Output:
$ /mnt/svn/gcc-trunk/binary-156999-lto/bin/gcc -O1 -fstrict-overflow
-fgraphite-identity testcase.c
testcase.c: In function 'foo':
testcase.c:1:6: internal compiler error: in scan_tree_for_params_right_scev, at
graphite-sese-to-poly.c:713


-- 
           Summary: [4.5 Regression] ICE: in
                    scan_tree_for_params_right_scev, at graphite-sese-to-
                    poly.c:713 with -O1 -fstrict-overflow -fgraphite-
                    identity
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[spop at gcc dot gnu dot org]

------- Comment #1 from spop at gcc dot gnu dot org  2010-03-09 16:48 -------
Mine.


-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |spop at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-03-09 16:48:37
               date|                            |


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[howarth at nitro dot med dot uc dot edu]

------- Comment #2 from howarth at nitro dot med dot uc dot edu  2010-03-09 17:39 -------
Might this be related to PR42181 since it also involves problems with the
-fgraphite-identity -fstrict-overflow?


-- 


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[spop at gcc dot gnu dot org]

------- Comment #3 from spop at gcc dot gnu dot org  2010-03-09 19:39 -------
Subject: Bug 43306

Author: spop
Date: Tue Mar  9 19:39:27 2010
New Revision: 157322

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=157322
Log:
Fix PR43306: correct evolution_function_right_is_integer_cst.

2010-03-09  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/43306
        * tree-chrec.c (evolution_function_right_is_integer_cst): CHREC_RIGHT
        should be an INTEGER_CST.  Also handle CASE_CONVERT.
        * gcc.dg/graphite/pr43306.c: New.

Added:
    branches/graphite/gcc/testsuite/gcc.dg/graphite/pr43306.c
Modified:
    branches/graphite/gcc/ChangeLog.graphite
    branches/graphite/gcc/tree-chrec.c


-- 


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[howarth at nitro dot med dot uc dot edu]

------- Comment #4 from howarth at nitro dot med dot uc dot edu  2010-03-09 21:01 -------
Does this fix resolve PR42181 as well or is that a different issue with
fgraphite-identity -fstrict-overflow?


-- 


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[spop at gcc dot gnu dot org]

------- Comment #5 from spop at gcc dot gnu dot org  2010-03-09 21:07 -------
This is different than PR42181.


-- 


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
      Known to work|                            |4.4.3
           Priority|P3                          |P1
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[spop at gcc dot gnu dot org]

------- Comment #6 from spop at gcc dot gnu dot org  2010-03-13 17:35 -------
Subject: Bug 43306

Author: spop
Date: Sat Mar 13 17:34:59 2010
New Revision: 157434

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=157434
Log:
Fix PR43306: correct evolution_function_right_is_integer_cst.

2010-03-09  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/43306
        * tree-chrec.c (evolution_function_right_is_integer_cst): CHREC_RIGHT
        should be an INTEGER_CST.  Also handle CASE_CONVERT.
        * gcc.dg/graphite/pr43306.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr43306.c
Modified:
    trunk/gcc/ChangeLog.graphite
    trunk/gcc/tree-chrec.c


-- 


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

[Bug tree-optimization/43306] [4.5 Regression] ICE: in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:713 with -O1 -fstrict-overflow -fgraphite-identity

[spop at gcc dot gnu dot org]

------- Comment #7 from spop at gcc dot gnu dot org  2010-03-13 17:43 -------
Fixed.


-- 

spop at gcc dot gnu dot org changed:

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


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