https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84873
Bug ID: 84873
Summary: [8 Regression] ICE: verify_ssa failed (error:
definition in block 3 does not dominate use in block
4)
Product: gcc
Version: 8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: x86_64-pc-linux-gnu
gcc-8.0.0-alpha20180311 snapshot (r258438) ICEs when compiling the following
snippet w/ -frounding-math:
int
i1 (int w3, int n9)
{
return w3 >> ((long int)(1 + 0.1) + -!n9);
}
% x86_64-pc-linux-gnu-gcc-8.0.0-alpha20180311 -frounding-math -c tdofpqt6.c
tdofpqt6.c: In function 'i1':
tdofpqt6.c:5:1: error: definition in block 3 does not dominate use in block 4
}
^
for SSA_NAME: _2 in statement:
iftmp.0_7 = (unsigned int) _2;
during GIMPLE pass: ssa
tdofpqt6.c:5:1: internal compiler error: verify_ssa failed
0xeb076a verify_ssa(bool, bool)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20180311/work/gcc-8-20180311/gcc/tree-ssa.c:1188
0xbc31cd execute_function_todo
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20180311/work/gcc-8-20180311/gcc/passes.c:2001
0xbc3fee execute_todo
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20180311/work/gcc-8-20180311/gcc/passes.c:2048
