https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83577
Bug ID: 83577
Summary: [8 Regression] [graphite] ICE in verify_dominators, at
dominance.c:1184 (error: dominator of 7 should be 15,
not 13)
Product: gcc
Version: 8.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-8.0.0-alpha20171217 snapshot (r255766) ICEs when compiling the following
snippet w/ -O1 (-O2, -O3, -Ofast) -floop-nest-optimize -fno-tree-loop-im:
int u0, l1;
void
u3 (int s1)
{
for (;;)
{
for (u0 = 0; u0 < 2; ++u0)
{
}
if (s1 != 0)
for (l1 = 0; l1 < 2; ++l1)
{
}
l1 = 0;
}
}
% gcc-8.0.0-alpha20171217 -O1 -floop-nest-optimize -fno-tree-loop-im -c
zhhdupzl.c
zhhdupzl.c: In function 'u3':
zhhdupzl.c:4:1: error: dominator of 7 should be 15, not 13
u3 (int s1)
^~
during GIMPLE pass: graphite
zhhdupzl.c:4:1: internal compiler error: in verify_dominators, at
dominance.c:1184
0x5dbb02 verify_dominators(cdi_direction)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/dominance.c:1184
0x9d5935 checking_verify_dominators
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/dominance.h:76
0x9d5935 calculate_dominance_info(cdi_direction)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/dominance.c:746
0xda9896 update_ssa(unsigned int)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/tree-into-ssa.c:3332
0x14215c1 graphite_transform_loops()
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/graphite.c:396
0x14226b0 graphite_transforms
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/graphite.c:447
0x14226b0 execute
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/graphite.c:524
