https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88023
Bug ID: 88023
Summary: [9 Regression] ICE: verify_ssa failed (error:
definition in block 39 does not dominate use in block
34)
Product: gcc
Version: 9.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc-9.0.0-alpha20181111 snapshot (r266019) ICEs when compiling
gcc/testsuite/gcc.c-torture/compile/20150108.c w/ -O1 (-O2, -O3)
-ftree-loop-vectorize --param max-loop-header-insns=2:
% gcc-9.0.0-alpha20181111 -O1 -ftree-loop-vectorize --param
max-loop-header-insns=2 -c gcc/testsuite/gcc.c-torture/compile/20150108.c
gcc/testsuite/gcc.c-torture/compile/20150108.c: In function 'fn1':
gcc/testsuite/gcc.c-torture/compile/20150108.c:5:5: error: definition in block
39 does not dominate use in block 34
5 | int fn1 () {
| ^~~
for SSA_NAME: _107 in statement:
s_lsm.23_90 = PHI <_107(34), _107(39)>
PHI argument
_107
for PHI node
s_lsm.23_90 = PHI <_107(34), _107(39)>
during GIMPLE pass: vect
gcc/testsuite/gcc.c-torture/compile/20150108.c:5:5: internal compiler error:
verify_ssa failed
0xeea820 verify_ssa(bool, bool)
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181111/work/gcc-9-20181111/gcc/tree-ssa.c:1188
0xc04add execute_function_todo
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181111/work/gcc-9-20181111/gcc/passes.c:1932
0xc058de execute_todo
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181111/work/gcc-9-20181111/gcc/passes.c:1979
