https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95171
Bug ID: 95171 Summary: ICE: verify_flow_info failed (error: wrong outgoing edge flags at end of bb 2) Product: gcc Version: 11.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc-11.0.0-alpha20200510 snapshot (g:13a46321516e2efd3bbb1f1899c539c6724240a9) ICEs when compiling the following testcase w/ -fexceptions -ffinite-math-only -fnon-call-exceptions (optionally, any optimization level except -Ofast can be specified): inline double __attribute__ ((always_inline)) w9 (int q2) { return __builtin_fabs (__builtin_nan ("")) > 0.0 ? 1.0 : q2 / 1.0; } double __attribute__ ((optimize (""))) o7 (int iz) { int rj[1]; (void) rj; return w9 (iz); } % gcc-11.0.0 -fexceptions -ffinite-math-only -fnon-call-exceptions -c eqf0xkza.c eqf0xkza.c:9:1: warning: bad option '-f' to attribute 'optimize' [-Wattributes] 9 | { | ^ eqf0xkza.c: In function 'o7': eqf0xkza.c:15:1: error: wrong outgoing edge flags at end of bb 2 15 | } | ^ during GIMPLE pass: einline eqf0xkza.c:15:1: internal compiler error: verify_flow_info failed 0x9059a7 verify_flow_info() /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200510/work/gcc-11-20200510/gcc/cfghooks.c:269 0xde57d4 checking_verify_flow_info /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200510/work/gcc-11-20200510/gcc/cfghooks.h:212 0xde57d4 cleanup_tree_cfg_noloop /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200510/work/gcc-11-20200510/gcc/tree-cfgcleanup.c:1114 0xde5dd8 cleanup_tree_cfg(unsigned int) /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200510/work/gcc-11-20200510/gcc/tree-cfgcleanup.c:1165 0xcb744c execute_function_todo /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200510/work/gcc-11-20200510/gcc/passes.c:1951 0xcb81ac do_per_function /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200510/work/gcc-11-20200510/gcc/passes.c:1640 0xcb81ac execute_todo /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200510/work/gcc-11-20200510/gcc/passes.c:2039