[Bug tree-optimization/83523] 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=83523

            Bug ID: 83523
           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: ---
            Target: powerpc-*-linux-gnu, powerpcspe-*-linux-gnu

gcc-8.0.0-alpha20171217 snapshot (r255766) ICEs when compiling the following
snippet w/ -O2 (-Os, -O3, -Ofast) -fexceptions -fnon-call-exceptions -ftrapv
for 32-bit BE powerpc targets:

void
d4 (long long int fs, int rp)
{
  int *h0;
    {
      int **yf = &h0;
      int ***wo = &yf;

      fs = 2;
      fs *= rp;
      *h0 = 0;
    }
}

% powerpc-e300c3-linux-gnu-gcc-8.0.0-alpha20171217 -O2 -fhandle-exceptions
-fnon-call-exceptions -ftrapv -c xvzxasob.c
xvzxasob.c: In function 'd4':
xvzxasob.c:2:1: error: statement marked for throw, but doesn't
 d4 (long long int fs, int rp)
 ^~
_6 = rp_5(D) w* 2;
during GIMPLE pass: widening_mul
xvzxasob.c:2:1: internal compiler error: verify_gimple failed
0xc8ce84 verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/tree-cfg.c:5537
0xb280b1 execute_function_todo
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/passes.c:1994
0xb28efc execute_todo
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20171217/work/gcc-8-20171217/gcc/passes.c:2048