[Bug rtl-optimization/83962] New: [8 Regression] ICE: verify_flow_info failed (too many outgoing branch edges from bb 8)

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83962

            Bug ID: 83962
           Summary: [8 Regression] ICE: verify_flow_info failed (too many
                    outgoing branch edges from bb 8)
           Product: gcc
           Version: 8.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: ---
            Target: powerpc-*-linux-gnu

gcc-8.0.0-alpha20180114 snapshot (r256677) ICEs when compiling the following
snippet w/ -O1 -fselective-scheduling2 -fschedule-insns2 -fcse-follow-jumps
-fno-ssa-phiopt -fno-guess-branch-probability 32-bit BE powerpc target:

unsigned int ca;

void
v6 (long long unsigned int as, int p9)
{
  while (p9 < 1)
    as = (as != ca) || (as > 1);
}

powerpc-e300c3-linux-gnu-gcc-8.0.0-alpha20180114 -O1 -fselective-scheduling2
-fschedule-insns2 -fcse-follow-jumps -fno-ssa-phiopt
-fno-guess-branch-probability -c ldbsp1nm.c
ldbsp1nm.c: In function 'v6':
ldbsp1nm.c:8:1: error: too many outgoing branch edges from bb 8
 }
 ^
during RTL pass: sched2
ldbsp1nm.c:8:1: internal compiler error: verify_flow_info failed
0x7269f2 verify_flow_info()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20180114/work/gcc-8-20180114/gcc/cfghooks.c:265
0xb3a675 execute_function_todo
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20180114/work/gcc-8-20180114/gcc/passes.c:2006
0xb3b49c execute_todo
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20180114/work/gcc-8-20180114/gcc/passes.c:2048