[Bug c/67107] New: [6 Regression] ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations

[Bug c/67107] New: [6 Regression] ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations

[zsojka at seznam dot cz]

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

            Bug ID: 67107
           Summary: [6 Regression] ICE: SIGSEGV in tree_class_check with
                    -frounding-math -funsafe-math-optimizations
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---

Created attachment 36115
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36115&action=edit
reduced testcase

Compiler output:
$ gcc -frounding-math -funsafe-math-optimizations testcase.c 
testcase.c: In function 'test':
testcase.c:3:3: internal compiler error: Segmentation fault
   return 5.0 < 5.0 - 0.1;
   ^
0xc19cdf crash_signal
        /mnt/svn/gcc-trunk/gcc/toplev.c:352
0x9845d6 tree_class_check(tree_node*, tree_code_class, char const*, int, char
const*)
        /mnt/svn/gcc-trunk/gcc/tree.h:2980
0x9845d6 generic_simplify_GT_EXPR
       
/home/smatz/build-226486-lto-fortran-checking-yes-rtl-df/gcc/generic-match.c:18582
0x990dfd generic_simplify(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
       
/home/smatz/build-226486-lto-fortran-checking-yes-rtl-df/gcc/generic-match.c:34963
0x85073e fold_binary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
        /mnt/svn/gcc-trunk/gcc/fold-const.c:9108
0x85d67a fold_build2_stat_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
        /mnt/svn/gcc-trunk/gcc/fold-const.c:12781
0x66d093 c_fully_fold_internal
        /mnt/svn/gcc-trunk/gcc/c-family/c-common.c:1361
0x66e1e5 c_fully_fold(tree_node*, bool, bool*)
        /mnt/svn/gcc-trunk/gcc/c-family/c-common.c:1144
0x5e762c c_finish_return(unsigned int, tree_node*, tree_node*)
        /mnt/svn/gcc-trunk/gcc/c/c-typeck.c:9379
0x62332e c_parser_statement_after_labels
        /mnt/svn/gcc-trunk/gcc/c/c-parser.c:5042
0x6248d5 c_parser_compound_statement_nostart
        /mnt/svn/gcc-trunk/gcc/c/c-parser.c:4696
0x62511e c_parser_compound_statement
        /mnt/svn/gcc-trunk/gcc/c/c-parser.c:4533
0x620f67 c_parser_declaration_or_fndef
        /mnt/svn/gcc-trunk/gcc/c/c-parser.c:1966
0x62b297 c_parser_external_declaration
        /mnt/svn/gcc-trunk/gcc/c/c-parser.c:1436
0x62bb59 c_parser_translation_unit
        /mnt/svn/gcc-trunk/gcc/c/c-parser.c:1323
0x62bb59 c_parse_file()
        /mnt/svn/gcc-trunk/gcc/c/c-parser.c:15449
0x6875b2 c_common_parse_file()
        /mnt/svn/gcc-trunk/gcc/c-family/c-opts.c:1058
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.


$ gcc -v
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-226486-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-226486-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl --without-isl
Thread model: posix
gcc version 6.0.0 20150803 (experimental) (GCC) 


Tested revisions:
r226486 - ICE
gcc-5-branch r225803 - OK

[Bug c/67107] [6 Regression] ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |6.0

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed, started with r225375.

[Bug c/67107] [6 Regression] ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-08-04
     Ever confirmed|0                           |1

[Bug c/67107] [6 Regression] ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

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

[Bug c/67107] [6 Regression] ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Aug  5 07:42:54 2015
New Revision: 226609

URL: https://gcc.gnu.org/viewcvs?rev=226609&root=gcc&view=rev
Log:
2015-08-05  Richard Biener  <rguenther@suse.de>

        PR middle-end/67107
        * match.pd: Guard const_binop result checking against NULL_TREE
        result.

        * gcc.dg/pr67107.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/pr67107.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog

[Bug c/67107] [6 Regression] ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations

[rguenth at gcc dot gnu.org]

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

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

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

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