[Bug rtl-optimization/81332] New: GCC crash during "RTL pass: expand" - verify_flow_info: REG_BR_PROB does not match cfg

["babokin at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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.