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