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

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

[zsojka at seznam dot cz]

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

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


Created attachment 25548
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25548
reduced testcase (reduced from gcc.dg/vect/vect-cond-9.c)

Compiler output:
$ gcc -O -ftree-vectorize -fexceptions -fnon-call-exceptions
testcase.ctestcase.c: In function 'foo':
testcase.c:5:1: error: invalid operands in ternary operation
x_2 = D.2740_5 < D.2741_7 ? -1 : 0;

testcase.c:5:1: error: invalid operands in ternary operation
y_3 = D.2747_13 < D.2748_15 ? -1 : 0;

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.

Tested revisions:
r180121 - crash
r178498 - crash
4.6 r177922 - OK

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

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-10-19
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-19 08:18:44 UTC ---
Hmm.  Probably not properly "verified" in 4.6.  Mine.

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

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-19 14:54:41 UTC ---
Author: rguenth
Date: Wed Oct 19 14:54:34 2011
New Revision: 180192

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180192
Log:
2011-10-19  Richard Guenther  <rguenther@suse.de>

    PR middle-end/50780
    * tree-ssa-forwprop.c (forward_propagate_into_cond): Verify
    the condition is properly gimple before using it.
    * tree-eh (stmt_could_throw_1_p): Properly extract the
    operation type from comparisons.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-eh.c
    trunk/gcc/tree-ssa-forwprop.c

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

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-19 14:55:29 UTC ---
Fixed.