[Bug tree-optimization/90278] New: ICE: verify_gimple failed (error: statement marked for throw, but doesn't)

[asolokha at gmx dot com]

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

            Bug ID: 90278
           Summary: ICE: verify_gimple failed (error: statement marked for
                    throw, but doesn't)
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-checking, 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-9.0.0-alpha20190428 snapshot (r270633), 8.3, 7.3, 6.3 all ICE when
compiling the following testcase at any optimization level (except -Ofast) and
w/ -fexceptions -fnon-call-exceptions:

double
hc (void)
{
  double dp = 0.0;
  double ek[1];

  ek[0] = 1.0 / dp < 0.0;

  return ek[0];
}

% gcc-9.0.0-alpha20190428 -O1 -fexceptions -fnon-call-exceptions -c dhh1zxr0.c
dhh1zxr0.c: In function 'hc':
dhh1zxr0.c:10:1: error: statement marked for throw, but doesn't
   10 | }
      | ^
_6 = 0;
during GIMPLE pass: forwprop
dhh1zxr0.c:10:1: internal compiler error: verify_gimple failed
0xd992ed verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20190428/work/gcc-9-20190428/gcc/tree-cfg.c:5386
0xc6c24f execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20190428/work/gcc-9-20190428/gcc/passes.c:1977
0xc6d16e execute_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20190428/work/gcc-9-20190428/gcc/passes.c:2031