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

Reply via email to