gcc-8.0.0-alpha20170702 snapshot ICEs when compiling the following snippet w/ -O2 -freorder-blocks-and-partition:

long long int k5;
int v2;

void
h5 (int uh)
{
  if (uh != 0)
    {
      uh = 0;
      if (v2 != 0)
        uh = 1;

      ++k5;
      if (uh / k5 != 0)
        {
          uh = k5;
          if (k5 == 0)
            v2 = 0;
        }
      v2 /= uh;
    }

  k5 = 0;
}

% powerpc-e300c3-linux-gnu-gcc-8.0.0-alpha20170702 -O2 -freorder-blocks-and-partition -c fdkcfhj8.c
fdkcfhj8.c: In function 'h5':
fdkcfhj8.c:24:1: error: non-cold basic block 13 dominated by a block in the cold partition (8)
 }
 ^
during RTL pass: ce3
fdkcfhj8.c:24:1: internal compiler error: verify_flow_info failed
0x767d25 verify_flow_info()
	/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/cfghooks.c:259
0x13dadc4 checking_verify_flow_info
	/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/cfghooks.h:198
0x13dadc4 if_convert
	/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/ifcvt.c:5447
0x13dc87c execute
	/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/ifcvt.c:5593