https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92460
Bug ID: 92460
Summary: [10 Regression] ICE: verify_ssa failed (error:
definition in block 13 does not dominate use in block
22)
Product: gcc
Version: 10.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
CC: avieira at gcc dot gnu.org
Target Milestone: ---
Target: x86_64-unknown-linux-gnu
gcc-10.0.0-alpha20191103 snapshot (r277758) ICEs when compiling the following
testcase reduced from gcc/testsuite/gcc.dg/vect/vect-simd-clone-11.c w/ -mavx2
-O1 -fopenmp -ftree-loop-vectorize -ftree-parallelize-loops=2
-fno-tree-loop-ivcanon:
#pragma omp declare simd linear (yu : 6)
int __attribute__ ((noinline))
ms (int yu)
{
return yu;
}
void
fm (int *kq)
{
int v1 = 0, r5 = 1;
while (v1 < 200)
{
kq[v1] = ms (r5 * 2);
r5 += 3;
++v1;
}
}
% x86_64-unknown-linux-gnu-gcc-10.0.0-alpha20191103 -mavx2 -O1 -fopenmp
-ftree-loop-vectorize -ftree-parallelize-loops=2 -fno-tree-loop-ivcanon -c
ax2wgtfe.c
ax2wgtfe.c: In function 'fm._loopfn.0':
ax2wgtfe.c:13:9: error: definition in block 13 does not dominate use in block
22
13 | while (v1 < 200)
| ^
for SSA_NAME: _84 in statement:
_147 = _84 + 1;
during GIMPLE pass: vect
ax2wgtfe.c:13:9: internal compiler error: verify_ssa failed
0xe4094c verify_ssa(bool, bool)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-ssa.c:1208
0xbab70c execute_function_todo
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/passes.c:1990
0xbac460 do_per_function
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/passes.c:1638
0xbac460 execute_todo
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/passes.c:2037
(This was originally reported in PR92347 comment 2.)
