[Bug tree-optimization/83593] New: [8 Regression] 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=83593

            Bug ID: 83593
           Summary: [8 Regression] ICE: verify_gimple failed (error:
                    statement marked for throw, but doesn't)
           Product: gcc
           Version: 8.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-8.0.0-alpha20171224 snapshot (r255993) ICEs when compiling the following
snippet w/ -O2 (-O3, -Ofast) -fno-tree-dominator-opts -fnon-call-exceptions
-fno-tree-pre -fexceptions -fno-code-hoisting -fno-tree-fre:

void
hr (int *ed, signed char *ju)
{
  int kc;
    {
      int xj;
      int *q2 = (*ed == 0) ? &xj : &kc;

      *ju = 0;
      kc = *ju;
    }
}

% gcc-8.0.0-alpha20171224 -O2 -fno-tree-dominator-opts -fnon-call-exceptions
-fno-tree-pre -fexceptions -fno-code-hoisting -fno-tree-fre -c czocw0lq.c
czocw0lq.c: In function 'hr':
czocw0lq.c:2:1: error: statement marked for throw, but doesn't
 hr (int *ed, signed char *ju)
 ^~
_7 = 0;
during GIMPLE pass: strlen
czocw0lq.c:2:1: internal compiler error: verify_gimple failed
0xd8250f verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171224/work/gcc-8-20171224/gcc/tree-cfg.c:5569
0xc7490f execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171224/work/gcc-8-20171224/gcc/passes.c:1994
0xc7536e execute_todo
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171224/work/gcc-8-20171224/gcc/passes.c:2048