https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105455
Bug ID: 105455
Summary: ICE: verify_flow_info failed (error: verify_flow_info:
REG_BR_PROB does not match cfg)
Product: gcc
Version: 12.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: ---
gcc 12.0.1 20220424 snapshot (g:6b7441a46c771aa6ecdc0c8ed96197417d036b9a) ICEs
when compiling the following testcase w/ -O1 -fharden-conditional-branches
-funroll-loops --param max-loop-header-insns=1:
__attribute__ ((cold)) void
bar (void);
void
foo (int x)
{
if (x)
{
int i;
for (i = 0; i < 101; ++i)
bar ();
}
}
% gcc-12.0.1 -O1 -fharden-conditional-branches -funroll-loops --param
max-loop-header-insns=1 -c hkihrvjs.c
hkihrvjs.c: In function 'foo':
hkihrvjs.c:14:1: error: verify_flow_info: REG_BR_PROB does not match cfg
1073741831 7
14 | }
| ^
during RTL pass: loop2_unroll
hkihrvjs.c:14:1: internal compiler error: verify_flow_info failed
0x9df59e verify_flow_info()
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/cfghooks.cc:284
0xde0a8a execute_function_todo
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/passes.cc:2097
0xde0f9e execute_todo
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/passes.cc:2139
