https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91164
Bug ID: 91164
Summary: [10 Regression] ICE in verify_dominators, at
dominance.c:1184 (error: dominator of 114 should be
112, not 16)
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
g++-10.0.0-alpha20190707 snapshot (r273184) ICEs when compiling
libstdc++-v3/testsuite/28_regex/basic_regex/assign/wchar_t/string.cc w/ -O2
(-O3, -Ofast) -fdelete-dead-exceptions -fnon-call-exceptions
-fno-rerun-cse-after-loop -fno-tree-forwprop:
% g++-10.0.0-alpha20190707 -O2 -fdelete-dead-exceptions -fnon-call-exceptions
-fno-rerun-cse-after-loop -fno-tree-forwprop -c
libstdc++-v3/testsuite/28_regex/basic_regex/assign/wchar_t/string.cc
In file included from
/usr/lib/gcc/x86_64-unknown-linux-gnu/10.0.0-alpha20190707/include/g++-v10/bits/regex_compiler.h:560,
from
/usr/lib/gcc/x86_64-unknown-linux-gnu/10.0.0-alpha20190707/include/g++-v10/regex:61,
from
libstdc++-v3/testsuite/28_regex/basic_regex/assign/wchar_t/string.cc:25:
/usr/lib/gcc/x86_64-unknown-linux-gnu/10.0.0-alpha20190707/include/g++-v10/bits/regex_compiler.tcc:
In constructor
'std::__detail::_Compiler<_TraitsT>::_Compiler(std::__detail::_Compiler<_TraitsT>::_IterT,
std::__detail::_Compiler<_TraitsT>::_IterT, const typename
_TraitsT::locale_type&, std::__detail::_Compiler<_TraitsT>::_FlagT) [with
_TraitsT = std::__cxx11::regex_traits<wchar_t>]':
/usr/lib/gcc/x86_64-unknown-linux-gnu/10.0.0-alpha20190707/include/g++-v10/bits/regex_compiler.tcc:92:5:
error: dominator of 114 should be 112, not 16
92 | }
| ^
during RTL pass: fwprop2
/usr/lib/gcc/x86_64-unknown-linux-gnu/10.0.0-alpha20190707/include/g++-v10/bits/regex_compiler.tcc:92:5:
internal compiler error: in verify_dominators, at dominance.c:1184
0x6bcb7c verify_dominators(cdi_direction)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190707/work/gcc-10-20190707/gcc/dominance.c:1184
0xbb35f8 checking_verify_dominators
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190707/work/gcc-10-20190707/gcc/dominance.h:76
0xbb35f8 calculate_dominance_info(cdi_direction)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190707/work/gcc-10-20190707/gcc/dominance.c:746
0x178a521 fwprop_init
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190707/work/gcc-10-20190707/gcc/fwprop.c:1508
0x178a521 fwprop
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190707/work/gcc-10-20190707/gcc/fwprop.c:1560
