http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46168
Summary: ICE: verify_ssa failed: definition in block 6 does not
dominate use in block 5 with -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 22149
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22149
reduced testcase
Compiler output:
$ gcc -O -ftree-loop-linear pr46168.c
pr46168.c: In function 'foo':
pr46168.c:2:1: error: definition in block 6 does not dominate use in block 5
for SSA_NAME: i16_8 in statement:
i16_28 = PHI <i16_16(7), i16_8(5)>
PHI argument
i16_8
for PHI node
i16_28 = PHI <i16_16(7), i16_8(5)>
pr46168.c:2:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
Tested revisions:
r165915 - crash
4.5 r165781 - crash
4.4 r165754 - crash
4.4 r149995 - crash
