[Bug middle-end/46966] New: [4.6 Regression] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:474 with -floop-interchange -fno-tree-copy-prop -fno-tree-loop-im

[Bug middle-end/46966] New: [4.6 Regression] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:474 with -floop-interchange -fno-tree-copy-prop -fno-tree-loop-im

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: in execute_cse_reciprocals, at
                    tree-ssa-math-opts.c:474 with -floop-interchange
                    -fno-tree-copy-prop -fno-tree-loop-im
           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 22770
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22770
reduced testcase (from graphite/interchange-0.c)

Compiler output:
$ gcc -O -floop-interchange -ffast-math -fno-tree-copy-prop -fno-tree-loop-im
pr46966.c  
pr46966.c: In function 'foo':
pr46966.c:3:6: internal compiler error: in execute_cse_reciprocals, at
tree-ssa-math-opts.c:474
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=0x117cbd0 "/mnt/svn/gcc-trunk/gcc/tree-ssa-math-opts.c",
line=474, 
    function=0x117cc70 "execute_cse_reciprocals") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:892
#1  0x00000000009b6e3e in execute_cse_reciprocals () at
/mnt/svn/gcc-trunk/gcc/tree-ssa-math-opts.c:474
#2  0x00000000007ecabf in execute_one_pass (pass=0x1635d20) at
/mnt/svn/gcc-trunk/gcc/passes.c:1553
#3  0x00000000007ecd85 in execute_pass_list (pass=0x1635d20) at
/mnt/svn/gcc-trunk/gcc/passes.c:1608
#4  0x00000000007ecd97 in execute_pass_list (pass=0x1634d60) at
/mnt/svn/gcc-trunk/gcc/passes.c:1609
#5  0x000000000092da36 in tree_rest_of_compilation (fndecl=0x7ffff5cc4f00) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:422
#6  0x0000000000af32e2 in cgraph_expand_function (node=0x7ffff5ce4000) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1508
#7  0x0000000000af58ba in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1567
#8  cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1827
#9  0x0000000000af5e3a in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1031
#10 0x0000000000508e0c in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:9845
#11 0x00000000008d7206 in compile_file (argc=17, argv=0x7fffffffda88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:591
#12 do_compile (argc=17, argv=0x7fffffffda88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1874
#13 toplev_main (argc=17, argv=0x7fffffffda88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1937
#14 0x00007ffff6586bbd in __libc_start_main () from /lib/libc.so.6
#15 0x00000000004ef7f5 in _start ()

Tested revisions:
r167809 - crash
r167723 - crash
r165699 - OK
4.5 r166509 - OK

[Bug middle-end/46966] [4.6 Regression] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:474 with -floop-interchange -fno-tree-copy-prop -fno-tree-loop-im

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.12.15 20:19:00
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-12-15 20:19:00 UTC ---
This is caused by revision 167348:

http://gcc.gnu.org/ml/gcc-cvs/2010-12/msg00029.html

[Bug tree-optimization/46966] [4.6 Regression] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:474 with -floop-interchange -fno-tree-copy-prop -fno-tree-loop-im

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-16 14:08:57 UTC ---
Created attachment 22785
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22785
gcc46-pr46966.patch

Untested fix.

[Bug tree-optimization/46966] [4.6 Regression] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:474 with -floop-interchange -fno-tree-copy-prop -fno-tree-loop-im

[spop at gcc dot gnu.org]

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

--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> 2010-12-16 20:17:43 UTC ---
The fix looks good.  Please test and commit.  Thanks.

[Bug tree-optimization/46966] [4.6 Regression] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:474 with -floop-interchange -fno-tree-copy-prop -fno-tree-loop-im

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-16 22:45:55 UTC ---
Author: jakub
Date: Thu Dec 16 22:45:42 2010
New Revision: 167960

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167960
Log:
    PR tree-optimization/46966
    * graphite-sese-to-poly.c (build_scop_drs): Call free_gimple_bb for
    for bbs that are removed from SCOP_BBS vector.

    * gcc.dg/graphite/pr46966.c: New test.

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

[Bug tree-optimization/46966] [4.6 Regression] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:474 with -floop-interchange -fno-tree-copy-prop -fno-tree-loop-im

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-16 22:47:14 UTC ---
Fixed.