[Bug middle-end/52046] New: [4.7 Regression] ICE: verify_gimple failed: invalid operands in ternary operation with -O -fexceptions -fnon-call-exceptions -ftree-vectorize

[Bug middle-end/52046] New: [4.7 Regression] ICE: verify_gimple failed: invalid operands in ternary operation with -O -fexceptions -fnon-call-exceptions -ftree-vectorize

[zsojka at seznam dot cz]

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

             Bug #: 52046
           Summary: [4.7 Regression] ICE: verify_gimple failed: invalid
                    operands in ternary operation with -O -fexceptions
                    -fnon-call-exceptions -ftree-vectorize
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


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

Similiar to PR50780. The testcase was reduced from vect/vect-cond-10.c, but
vect/vect-cond-9.c crashes as well.

Compiler output:
$ gcc -O -fexceptions -fnon-call-exceptions -ftree-vectorize testcase.c
testcase.c: In function 'foo':
testcase.c:5:1: error: invalid operands in ternary operation
vect_var_.30_98 = VEC_COND_EXPR <vect_var_.24_90 < vect_var_.29_95,
vect_cst_.31_96, vect_cst_.32_97>;

testcase.c:5:1: error: invalid operands in ternary operation
vect_var_.43_111 = VEC_COND_EXPR <vect_var_.37_103 < vect_var_.42_108,
vect_cst_.44_109, vect_cst_.45_110>;

testcase.c:5:1: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

(gdb) bt
#0  0x00007ffff61e4790 in exit () from /lib64/libc.so.6
#1  0x00000000011c03f2 in diagnostic_action_after_output (context=0x192d800,
diagnostic=Unhandled dwarf expression opcode 0xfa
) at /mnt/svn/gcc-trunk/gcc/diagnostic.c:243
#2  0x00000000011c055e in diagnostic_report_diagnostic (context=0x192d800,
diagnostic=0x7fffffffd360) at /mnt/svn/gcc-trunk/gcc/diagnostic.c:552
#3  0x00000000011c1210 in internal_error (gmsgid=<optimized out>) at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:845
#4  0x0000000000a0d797 in verify_gimple_in_cfg (fn=0x7ffff5a99460) at
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:4578
#5  0x0000000000b575d6 in verify_ssa (check_modified_stmt=true) at
/mnt/svn/gcc-trunk/gcc/tree-ssa.c:928
#6  0x00000000008f7d0c in execute_function_todo (data=<optimized out>) at
/mnt/svn/gcc-trunk/gcc/passes.c:1727
#7  0x00000000008f865e in execute_todo (flags=2082) at
/mnt/svn/gcc-trunk/gcc/passes.c:1758
#8  0x00000000008fb91e in execute_one_pass (pass=0x17cb8c0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2104
#9  0x00000000008fbca5 in execute_pass_list (pass=0x17cb8c0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2136
#10 0x00000000008fbcb7 in execute_pass_list (pass=0x17cbaa0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2137
#11 0x00000000008fbcb7 in execute_pass_list (pass=0x17cad20) at
/mnt/svn/gcc-trunk/gcc/passes.c:2137
#12 0x0000000000a5dffe in tree_rest_of_compilation (fndecl=0x7ffff5ba6f00) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:420
#13 0x00000000006afe3a in cgraph_expand_function (node=0x7ffff5a976c0) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1819
#14 0x00000000006b1d0c in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1886
#15 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2200
#16 0x00000000006b236a in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1328
#17 0x000000000058ec20 in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:10030
#18 0x00000000009f081c in compile_file () at
/mnt/svn/gcc-trunk/gcc/toplev.c:573
#19 do_compile () at /mnt/svn/gcc-trunk/gcc/toplev.c:1938
#20 toplev_main (argc=16, argv=0x7fffffffd848) at
/mnt/svn/gcc-trunk/gcc/toplev.c:2014
#21 0x00007ffff61cc09d in __libc_start_main () from /lib64/libc.so.6
#22 0x0000000000572321 in _start ()

Tested revisions:
r183676 - crash
4.6 r180325 - OK

[Bug middle-end/52046] [4.7 Regression] ICE: verify_gimple failed: invalid operands in ternary operation with -O -fexceptions -fnon-call-exceptions -ftree-vectorize

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-01-29
                 CC|                            |jakub at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-29 23:19:34 UTC ---
Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180057
Will look at it.

[Bug tree-optimization/52046] [4.7 Regression] ICE: verify_gimple failed: invalid operands in ternary operation with -O -fexceptions -fnon-call-exceptions -ftree-vectorize

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-30 10:05:46 UTC ---
Created attachment 26515
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26515
gcc47-pr52046.patch

Untested fix.

[Bug tree-optimization/52046] [4.7 Regression] ICE: verify_gimple failed: invalid operands in ternary operation with -O -fexceptions -fnon-call-exceptions -ftree-vectorize

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-30 13:48:42 UTC ---
Author: jakub
Date: Mon Jan 30 13:48:37 2012
New Revision: 183724

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183724
Log:
    PR tree-optimization/52046
    * tree-vect-patterns.c (check_bool_pattern): Give up if
    a comparison could throw.

    * gcc.dg/pr52046.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr52046.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-patterns.c

[Bug tree-optimization/52046] [4.7 Regression] ICE: verify_gimple failed: invalid operands in ternary operation with -O -fexceptions -fnon-call-exceptions -ftree-vectorize

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-30 14:08:24 UTC ---
Fixed.