[Bug middle-end/47691] New: [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[Bug middle-end/47691] New: [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: in create_linear_expr_from_tree,
                    at graphite-sese-to-poly.c:1138 with
                    -fgraphite-identity -ffast-math -fno-tree-scev-cprop
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: spop@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23306
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23306
reduced testcase (from gfortran.dg/graphite/id-12.f)

Compiler output:
$ gcc -O -fgraphite-identity -ffast-math -fno-tree-scev-cprop testcase.f        
testcase.f: In function 'MAIN__':
testcase.f:1:0: internal compiler error: in create_linear_expr_from_tree, at
graphite-sese-to-poly.c:1138
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


(gdb) bt
#0  fancy_abort (file=0x13abf38
"/mnt/svn/gcc-trunk/gcc/graphite-sese-to-poly.c", line=1138, 
    function=0x13ac9b0 "create_linear_expr_from_tree") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:892
#1  0x000000000104f51c in create_linear_expr_from_tree (pbb=0x1869490,
t=0x7ffff5b02758)
    at /mnt/svn/gcc-trunk/gcc/graphite-sese-to-poly.c:1138
#2  0x000000000104f589 in add_condition_to_domain (ps=0x186a240,
stmt=0x7ffff5b041e0, pbb=0x1869490, code=LT_EXPR)
    at /mnt/svn/gcc-trunk/gcc/graphite-sese-to-poly.c:1190
#3  0x0000000001051daf in add_condition_to_pbb (scop=0x1869090) at
/mnt/svn/gcc-trunk/gcc/graphite-sese-to-poly.c:1245
#4  add_conditions_to_domain (scop=0x1869090) at
/mnt/svn/gcc-trunk/gcc/graphite-sese-to-poly.c:1277
#5  add_conditions_to_constraints (scop=0x1869090) at
/mnt/svn/gcc-trunk/gcc/graphite-sese-to-poly.c:1300
#6  build_poly_scop (scop=0x1869090) at
/mnt/svn/gcc-trunk/gcc/graphite-sese-to-poly.c:3293
#7  0x0000000001039e05 in graphite_transform_loops () at
/mnt/svn/gcc-trunk/gcc/graphite.c:268
#8  0x0000000000a21367 in graphite_transforms () at
/mnt/svn/gcc-trunk/gcc/tree-ssa-loop.c:257
#9  0x0000000000858686 in execute_one_pass (pass=0x16bba20) at
/mnt/svn/gcc-trunk/gcc/passes.c:1561
#10 0x0000000000858985 in execute_pass_list (pass=0x16bba20) at
/mnt/svn/gcc-trunk/gcc/passes.c:1616
#11 0x0000000000858997 in execute_pass_list (pass=0x16bba80) at
/mnt/svn/gcc-trunk/gcc/passes.c:1617
#12 0x0000000000858997 in execute_pass_list (pass=0x16bbcc0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1617
#13 0x0000000000858997 in execute_pass_list (pass=0x16baf40) at
/mnt/svn/gcc-trunk/gcc/passes.c:1617
#14 0x000000000099b786 in tree_rest_of_compilation (fndecl=0x7ffff7fbdd00) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:422
#15 0x0000000000b63602 in cgraph_expand_function (node=0x7ffff5aff000) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1570
#16 0x0000000000b65d3a in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1629
#17 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1893
#18 0x0000000000b662ba in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1090
#19 0x000000000081134d in write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/langhooks.c:303
#20 0x0000000000944768 in compile_file (argc=18, argv=0x7fffffffda18) at
/mnt/svn/gcc-trunk/gcc/toplev.c:591
#21 do_compile (argc=18, argv=0x7fffffffda18) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1900
#22 toplev_main (argc=18, argv=0x7fffffffda18) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1963
#23 0x00007ffff63ccbbd in __libc_start_main () from /lib/libc.so.6
#24 0x00000000004fe919 in _start ()

Tested revisions:
r170012 - crash
4.5 r170013 - OK

[Bug middle-end/47691] [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0

[Bug middle-end/47691] [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
                 CC|                            |jakub at gcc dot gnu.org

[Bug middle-end/47691] [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |steven at gcc dot gnu.org

--- Comment #1 from Steven Bosscher <steven at gcc dot gnu.org> 2011-02-25 23:07:32 UTC ---
I'll see if I can turn this test case into a C test case, to maybe raise this
to P1.

[Bug middle-end/47691] [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.02.25 23:07:52
     Ever Confirmed|0                           |1

[Bug middle-end/47691] [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |NEW

[Bug middle-end/47691] [4.6/4.7 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.0                       |4.6.1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-25 19:51:48 UTC ---
GCC 4.6.0 is being released, adjusting target milestone.

[Bug middle-end/47691] [4.6/4.7 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.1                       |4.6.2

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-06-27 12:32:36 UTC ---
GCC 4.6.1 is being released.

[Bug middle-end/47691] [4.6/4.7 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[spop at gcc dot gnu.org]

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

Sebastian Pop <spop at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |spop at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #4 from Sebastian Pop <spop at gcc dot gnu.org> 2011-07-24 04:42:53 UTC ---
Patch
http://gcc.gnu.org/ml/gcc-patches/2011-07/msg02057.html

[Bug middle-end/47691] [4.6/4.7 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[spop at gcc dot gnu.org]

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

--- Comment #5 from Sebastian Pop <spop at gcc dot gnu.org> 2011-07-27 16:52:58 UTC ---
Author: spop
Date: Wed Jul 27 16:52:52 2011
New Revision: 176836

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176836
Log:
Fix PR47691: do not abort compilation when code generation fails

2011-07-27  Sebastian Pop  <sebastian.pop@amd.com>

    PR middle-end/47691
    * graphite-clast-to-gimple.c (translate_clast_user): Update use of
    copy_bb_and_scalar_dependences.
    * sese.c (rename_uses): Do not call gcc_assert.  Set gloog_error.
    (graphite_copy_stmts_from_block): Update call to rename_uses.
    (copy_bb_and_scalar_dependences): Update call to
    graphite_copy_stmts_from_block.
    * sese.h (copy_bb_and_scalar_dependences): Update declaration.

    * gfortran.dg/graphite/id-pr47691.f: New.

Added:
    trunk/gcc/testsuite/gfortran.dg/graphite/id-pr47691.f
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-clast-to-gimple.c
    trunk/gcc/sese.c
    trunk/gcc/sese.h
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/47691] [4.6/4.7 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1138 with -fgraphite-identity -ffast-math -fno-tree-scev-cprop

[spop at gcc dot gnu.org]

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

Sebastian Pop <spop at gcc dot gnu.org> changed:

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

--- Comment #6 from Sebastian Pop <spop at gcc dot gnu.org> 2011-07-27 16:54:37 UTC ---
Fixed.