[Bug tree-optimization/92741] New: [10 Regression] ICE: verify_gimple failed (error: invalid vector types in nop conversion)

[asolokha at gmx dot com]

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

            Bug ID: 92741
           Summary: [10 Regression] ICE: verify_gimple failed (error:
                    invalid vector types in nop conversion)
           Product: gcc
           Version: 10.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: x86_64-unknown-linux-gnu

gcc-10.0.0-alpha20191124 snapshot (r278660) ICEs when compiling the following
testcase reduced from testsuite/gcc.target/i386/sse2-mmx-pinsrw.c w/ -O2
-fexceptions -fnon-call-exceptions -fno-inline:

typedef int vh __attribute__ ((__vector_size__ (2 * sizeof (int))));
typedef short int cq __attribute__ ((__vector_size__ (4 * sizeof (short
int))));

static void
id (int *r8, vh *tu)
{
  *(vh *) r8 = *tu;
}

void
mr (void)
{
  int r8;
  cq he = { 0, };

  id (&r8, (vh *) &he);
}

% x86_64-unknown-linux-gnu-gcc-10.0.0-alpha20191124 -O2 -fexceptions
-fnon-call-exceptions -fno-inline -c pi4vkh1k.c
pi4vkh1k.c: In function 'id.constprop':
pi4vkh1k.c:5:1: error: invalid vector types in nop conversion
    5 | id (int *r8, vh *tu)
      | ^~
vector(2) int
cq
_2 = (vector(2) int) { 0, 0, 0, 0 };
during GIMPLE pass: fixup_cfg
pi4vkh1k.c:5:1: internal compiler error: verify_gimple failed
0xd57c08 verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191124/work/gcc-10-20191124/gcc/tree-cfg.c:5445
0xc3af99 execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191124/work/gcc-10-20191124/gcc/passes.c:1983
0xc3bcb7 do_per_function
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191124/work/gcc-10-20191124/gcc/passes.c:1638
0xc3bcb7 execute_todo
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191124/work/gcc-10-20191124/gcc/passes.c:2037

W/ -fopenacc the check fails during IPA pass pta instead.