[Bug tree-optimization/46215] New: ICE: verify_stmts failed: type mismatch in comparison expression with -fstrict-overflow -fno-tree-ch -ftree-loop-linear

[zsojka at seznam dot cz]

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

           Summary: ICE: verify_stmts failed: type mismatch in comparison
                    expression with -fstrict-overflow -fno-tree-ch
                    -ftree-loop-linear
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


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

Compiler output (trunk, 4.5):
$ gcc -O -fstrict-overflow -fno-tree-ch -ftree-loop-linear pr46215.c  
pr46215.c: In function 'foo':
pr46215.c:3:1: error: type mismatch in comparison expression
_Bool
long int
int
if (uboundvar.2_6 >= perfectiv.1_10)

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

Compiler output (4.4):
$ gcc -O -fstrict-overflow -fno-tree-ch -ftree-loop-linear pr46215.c  
pr46215.c: In function 'foo':
pr46215.c:3: internal compiler error: in copy_to_mode_reg, at explow.c:623
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r166029 - crash
r153685 - crash
4.5 r165781 - crash
4.4 r165754 - crash
4.4 r149995 - crash