https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90343
Bug ID: 90343
Summary: ICE: in verify_dominators, at dominance.c:1184 (error:
dominator of 7 status unknown)
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Keywords: ice-checking
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Created attachment 46287
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46287&action=edit
Testcase
g++-10.0.0-alpha20190428 snapshot (r270633) ICEs when compiling the attached
partially reduced testcase w/ -Os -fnon-call-exceptions -fstack-protector
-fno-dce -fno-forward-propagate -fno-rerun-cse-after-loop -fno-tree-dse --param
uninlined-function-insns=20:
% g++-10.0.0-alpha20190428 -Os -fnon-call-exceptions -fstack-protector -fno-dce
-fno-forward-propagate -fno-rerun-cse-after-loop -fno-tree-dse --param
uninlined-function-insns=20 -c zx3i3ubt.cc
zx3i3ubt.cc: In function 'int h6()':
zx3i3ubt.cc:120:1: error: dominator of 7 status unknown
120 | }
| ^
during RTL pass: ce2
zx3i3ubt.cc:120:1: internal compiler error: in verify_dominators, at
dominance.c:1184
0x6a6cf8 verify_dominators(cdi_direction)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190428/work/gcc-10-20190428/gcc/dominance.c:1184
0xba6cad checking_verify_dominators
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190428/work/gcc-10-20190428/gcc/dominance.h:76
0xba6cad calculate_dominance_info(cdi_direction)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190428/work/gcc-10-20190428/gcc/dominance.c:746
0xb3e1b2 flow_loops_find(loops*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190428/work/gcc-10-20190428/gcc/cfgloop.c:431
0xde156e loop_optimizer_init(unsigned int)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190428/work/gcc-10-20190428/gcc/loop-init.c:93
0x17efc33 if_convert
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190428/work/gcc-10-20190428/gcc/ifcvt.c:5374
0x17f262d execute
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190428/work/gcc-10-20190428/gcc/ifcvt.c:5553
clang, icc, and msvc actually reject this code.
