[Bug tree-optimization/53070] New: ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:513 with -O -ffast-math -ftree-loop-if-convert -fno-tree-loop-im

[Bug tree-optimization/53070] New: ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:513 with -O -ffast-math -ftree-loop-if-convert -fno-tree-loop-im

[zsojka at seznam dot cz]

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

             Bug #: 53070
           Summary: ICE: in execute_cse_reciprocals, at
                    tree-ssa-math-opts.c:513 with -O -ffast-math
                    -ftree-loop-if-convert -fno-tree-loop-im
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 27215
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27215
reduced testcase

Compiler output:
$ gcc -O -ffast-math -ftree-loop-if-convert -fno-tree-loop-im testcase.c
testcase.c: In function 'foo':
testcase.c:2:1: internal compiler error: in execute_cse_reciprocals, at
tree-ssa-math-opts.c:513
 foo (int c)
 ^
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=0x12f1450 "/mnt/svn/gcc-trunk/gcc/tree-ssa-math-opts.c",
line=513, function=0x12f1710 "execute_cse_reciprocals")
    at /mnt/svn/gcc-trunk/gcc/diagnostic.c:1006
#1  0x0000000000b07d3e in execute_cse_reciprocals () at
/mnt/svn/gcc-trunk/gcc/tree-ssa-math-opts.c:513
#2  0x0000000000913627 in execute_one_pass (pass=0x180ba60) at
/mnt/svn/gcc-trunk/gcc/passes.c:2176
#3  0x00000000009139e5 in execute_pass_list (pass=0x180ba60) at
/mnt/svn/gcc-trunk/gcc/passes.c:2231
#4  0x00000000009139f7 in execute_pass_list (pass=0x1808e40) at
/mnt/svn/gcc-trunk/gcc/passes.c:2232
#5  0x00000000006c00be in tree_rest_of_compilation (node=Unhandled dwarf
expression opcode 0xfa
) at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1860
#6  0x00000000006c3302 in cgraph_expand_function (node=0x7ffff5a85780) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1930
#7  0x00000000006c5529 in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1995
#8  cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2685
#9  0x00000000006c5b1a in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:2769
#10 0x000000000059f770 in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:10053
#11 0x00000000009fef4c in compile_file () at
/mnt/svn/gcc-trunk/gcc/toplev.c:572
#12 do_compile () at /mnt/svn/gcc-trunk/gcc/toplev.c:1938
#13 toplev_main (argc=16, argv=0x7fffffffd708) at
/mnt/svn/gcc-trunk/gcc/toplev.c:2014
#14 0x00007ffff61ba2ad in __libc_start_main () from /lib64/libc.so.6
#15 0x0000000000582d01 in _start ()

Tested revisions:
r186657 - crash

[Bug tree-optimization/53070] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:513 with -O -ffast-math -ftree-loop-if-convert -fno-tree-loop-im

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-04-23
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-04-23 10:32:41 UTC ---
Confirmed.

#1  0x0000000000cd5750 in execute_cse_reciprocals ()
    at /space/rguenther/src/svn/trunk/gcc/tree-ssa-math-opts.c:513
513         gcc_assert (!bb->aux);

likely somebody (if-conversion) leaves bb->aux initialized.

Mine.

[Bug tree-optimization/53070] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:513 with -O -ffast-math -ftree-loop-if-convert -fno-tree-loop-im

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-04-23 12:47:09 UTC ---
Author: rguenth
Date: Mon Apr 23 12:47:02 2012
New Revision: 186704

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186704
Log:
2012-04-23  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/53070
    * tree-if-conv.c (combine_blocks): Free predicates in all blocks.
    (main_tree_if_conversion): Verify we succeeded in that.

    * gcc.dg/torture/pr53070.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr53070.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-if-conv.c

[Bug tree-optimization/53070] ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:513 with -O -ffast-math -ftree-loop-if-convert -fno-tree-loop-im

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.8.0

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-04-23 15:06:15 UTC ---
Fixed.