[Bug tree-optimization/90395] New: [10 Regression] ICE: verify_flow_info failed (error: BB 2 cannot throw but has an EH edge)

[asolokha at gmx dot com]

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

            Bug ID: 90395
           Summary: [10 Regression] ICE: verify_flow_info failed (error:
                    BB 2 cannot throw but has an EH edge)
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: EH, 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: x86_64-unknown-linux-gnu

gcc-10.0.0-alpha20190505 snapshot (r270883) ICEs when compiling the following
testcase at any optimization level and w/ -fexceptions -fnon-call-exceptions:

typedef int v16si __attribute__ ((__vector_size__ (64)));

void
rl (int uq)
{
  v16si qw[1];

  qw[uq] = (v16si) { uq };
}

% x86_64-unknown-linux-gnu-gcc-10.0.0-alpha20190505 -O1 -fexceptions
-fnon-call-exceptions -c u2wph7yd.c
u2wph7yd.c: In function 'rl':
u2wph7yd.c:9:1: error: BB 2 cannot throw but has an EH edge
    9 | }
      | ^
during GIMPLE pass: forwprop
u2wph7yd.c:9:1: internal compiler error: verify_flow_info failed
0x902efe verify_flow_info()
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190505/work/gcc-10-20190505/gcc/cfghooks.c:265
0xc43a6c execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190505/work/gcc-10-20190505/gcc/passes.c:1975
0xc44801 execute_todo
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20190505/work/gcc-10-20190505/gcc/passes.c:2017