https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81301
Bug ID: 81301 Summary: [8 Regression] ICE: verify_flow_info failed (error: non-cold basic block 13 dominated by a block in the cold partition (8)) on 32-bit BE powerpc target 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-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