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: unassig...@gcc.gnu.org
ReportedBy: zso...@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
