[Bug tree-optimization/63898] New: [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[Bug tree-optimization/63898] New: [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

            Bug ID: 63898
           Summary: [5 Regression] r217560 caused segfault building
                    462.libquantum from cpu2006
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: rguenther at suse dot de

On Linux/x86-64, r217560 caused:

gcc -c -o measure.o -DSPEC_CPU -DNDEBUG   -O2 -ffast-math -fwhole-program
-flto=jobserver -fuse-linker-plugin       -DSPEC_CPU_LP64  -DSPEC_CPU_LINUX    
  measure.c
gcc: internal compiler error: Segmentation fault (program cc1)
0x40c2ec execute
    ../../src-trunk/gcc/gcc.c:2912
0x40c5d9 do_spec_1
    ../../src-trunk/gcc/gcc.c:4837
0x40f07b process_brace_body
    ../../src-trunk/gcc/gcc.c:6120
0x40f07b handle_braces
    ../../src-trunk/gcc/gcc.c:6034
0x40d167 do_spec_1
    ../../src-trunk/gcc/gcc.c:5491
0x40f07b process_brace_body
    ../../src-trunk/gcc/gcc.c:6120
0x40f07b handle_braces
    ../../src-trunk/gcc/gcc.c:6034
0x40d167 do_spec_1
    ../../src-trunk/gcc/gcc.c:5491
0x40ca63 do_spec_1
    ../../src-trunk/gcc/gcc.c:5606
0x40f07b process_brace_body
    ../../src-trunk/gcc/gcc.c:6120
0x40f07b handle_braces
    ../../src-trunk/gcc/gcc.c:6034
0x40d167 do_spec_1
    ../../src-trunk/gcc/gcc.c:5491
0x40f07b process_brace_body
    ../../src-trunk/gcc/gcc.c:6120
0x40f07b handle_braces
    ../../src-trunk/gcc/gcc.c:6034
0x40d167 do_spec_1
    ../../src-trunk/gcc/gcc.c:5491
0x40f07b process_brace_body
    ../../src-trunk/gcc/gcc.c:6120
0x40f07b handle_braces
    ../../src-trunk/gcc/gcc.c:6034
0x40d167 do_spec_1
    ../../src-trunk/gcc/gcc.c:5491
0x40f07b process_brace_body
    ../../src-trunk/gcc/gcc.c:6120
0x40f07b handle_braces
    ../../src-trunk/gcc/gcc.c:6034
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
specmake[3]: *** [measure.o] Error 4

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> ---
Created attachment 33990
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33990&action=edit
A testcase

 ./xgcc -B./ -O2  -ffast-math    -S /tmp/pr63898.i 
xgcc: internal compiler error: Segmentation fault (program cc1)
0x405c1f execute
    /export/gnu/import/git/gcc/gcc/gcc.c:2912
0x409b0a do_spec(char const*)
    /export/gnu/import/git/gcc/gcc/gcc.c:4518
0x411bca driver::do_spec_on_infiles() const
    /export/gnu/import/git/gcc/gcc/gcc.c:7674
0x40f587 driver::main(int, char**)
    /export/gnu/import/git/gcc/gcc/gcc.c:6911
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> ---
We get an infinite recursive call:

#0  fold_binary_loc (loc=0, code=RDIV_EXPR, type=0x7ffff7df2d20, 
    op0=0x7ffff7c544c0, op1=0x7ffff7c54160)
    at /export/gnu/import/git/gcc/gcc/fold-const.c:9649
#1  0x0000000000a81ecd in generic_simplify (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54460, op1=0x7ffff7c54160)
    at generic-match.c:6547
#2  0x000000000094f8c4 in fold_binary_loc (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54460, op1=0x7ffff7c54160)
    at /export/gnu/import/git/gcc/gcc/fold-const.c:9729
#3  0x0000000000a81ecd in generic_simplify (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54400, op1=0x7ffff7c54160)
    at generic-match.c:6547
#4  0x000000000094f8c4 in fold_binary_loc (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54400, op1=0x7ffff7c54160)
    at /export/gnu/import/git/gcc/gcc/fold-const.c:9729
#5  0x0000000000a81ecd in generic_simplify (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c543a0, op1=0x7ffff7c54160)
    at generic-match.c:6547
#6  0x000000000094f8c4 in fold_binary_loc (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c543a0, op1=0x7ffff7c54160)
    at /export/gnu/import/git/gcc/gcc/fold-const.c:9729
#7  0x0000000000a81ecd in generic_simplify (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54340, op1=0x7ffff7c54160)
---Type <return> to continue, or q <return> to quit---
    at generic-match.c:6547
#8  0x000000000094f8c4 in fold_binary_loc (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54340, op1=0x7ffff7c54160)
    at /export/gnu/import/git/gcc/gcc/fold-const.c:9729
#9  0x0000000000a81ecd in generic_simplify (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c542e0, op1=0x7ffff7c54160)
    at generic-match.c:6547
#10 0x000000000094f8c4 in fold_binary_loc (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c542e0, op1=0x7ffff7c54160)
    at /export/gnu/import/git/gcc/gcc/fold-const.c:9729
#11 0x0000000000a81ecd in generic_simplify (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54280, op1=0x7ffff7c54160)
    at generic-match.c:6547
#12 0x000000000094f8c4 in fold_binary_loc (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54280, op1=0x7ffff7c54160)
    at /export/gnu/import/git/gcc/gcc/fold-const.c:9729
#13 0x0000000000a81ecd in generic_simplify (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54220, op1=0x7ffff7c54160)
    at generic-match.c:6547
#14 0x000000000094f8c4 in fold_binary_loc (loc=0, code=RDIV_EXPR, 
    type=0x7ffff7df2d20, op0=0x7ffff7c54220, op1=0x7ffff7c54160)

until we ran out of stack.

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-11-17
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Ok, so this is the missing effect of

    case RDIV_EXPR:
      /* Don't touch a floating-point divide by zero unless the mode
         of the constant can represent infinity.  */
      if (TREE_CODE (arg1) == REAL_CST
          && !MODE_HAS_INFINITIES (TYPE_MODE (TREE_TYPE (arg1)))
          && real_zerop (arg1))
        return NULL_TREE;

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

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

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

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

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Nov 17 09:31:33 2014
New Revision: 217650

URL: https://gcc.gnu.org/viewcvs?rev=217650&root=gcc&view=rev
Log:
2014-11-17  Richard Biener  <rguenther@suse.de>

    PR middle-end/63898
    * match.pd: Guard X / CST -> X * CST' transform against
    zero CST.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Joost.VandeVondele at mat dot ethz
                   |                            |.ch

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 63883 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Nov 17 09:38:48 2014
New Revision: 217652

URL: https://gcc.gnu.org/viewcvs?rev=217652&root=gcc&view=rev
Log:
2014-11-17  Richard Biener  <rguenther@suse.de>

    PR middle-end/63898
    PR middle-end/63883
    * gfortran.dg/pr63883.f90: New testcase.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr63883.f90
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/63898] [5 Regression] r217560 caused segfault building 462.libquantum from cpu2006

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63898

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

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

--- Comment #10 from H.J. Lu <hjl.tools at gmail dot com> ---
*** Bug 63919 has been marked as a duplicate of this bug. ***