https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81332
Bug ID: 81332
Summary: GCC crash during "RTL pass: expand" -
verify_flow_info: REG_BR_PROB does not match cfg
Product: gcc
Version: 8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: babokin at gmail dot com
Target Milestone: ---
gcc rev250008, x86_64.
> cat f.cpp
extern int var_8, var_18, var_29, var_1365;
long a;
int b;
bool c;
void foo() {
if (c + 7 << bool(var_8) - 1)
b = 1;
if (var_29 | b)
var_1365 = a && b && var_18;
}
> g++ -O2 -c f.cpp
f.cpp: In function ‘void foo()’:
f.cpp:10:1: error: verify_flow_info: REG_BR_PROB does not match cfg 3750 7500
}
^
during RTL pass: expand
f.cpp:10:1: internal compiler error: verify_flow_info failed
0xab17ba verify_flow_info()
../../gcc_svn_intel/gcc/cfghooks.c:259
0x1541f26 checking_verify_flow_info
../../gcc_svn_intel/gcc/cfghooks.h:198
0x1541f26 try_optimize_cfg
../../gcc_svn_intel/gcc/cfgcleanup.c:3040
0x1541f26 cleanup_cfg(int)
../../gcc_svn_intel/gcc/cfgcleanup.c:3204
0xaaf38e execute
../../gcc_svn_intel/gcc/cfgexpand.c:6486
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
