[Bug tree-optimization/98568] New: [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[dimhen at gmail dot com]

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

            Bug ID: 98568
           Summary: [11 regression] ICE in verify_gimple() during GIMPLE
                    pass: store-merging
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com
  Target Milestone: ---

r11-6442 PASS
r11-6475 FAIL

$ cat x.i
char a[2];
void c()
{
  int b;
  a[1] = b >> 8;
  a[0] = b;
}
// creduced from openssl-1.1.0/ssl/s3_cbc.c

$ ~/arch-gcc/r11-6475/bin/gcc -fpreprocessed -O3 -c x.i
x.i: In function 'c':
x.i:2:6: error: conversion of register to a different size in
'view_convert_expr'
    2 | void c()
      |      ^
VIEW_CONVERT_EXPR<vector(2) char>(b_4(D));

_12 = VIEW_CONVERT_EXPR<vector(2) char>(b_4(D));
during GIMPLE pass: store-merging
x.i:2:6: internal compiler error: verify_gimple failed
0x10420ba verify_gimple_in_cfg(function*, bool)
        /home/dimhen/src/gcc_current/gcc/tree-cfg.c:5467
0xef8497 execute_function_todo
        /home/dimhen/src/gcc_current/gcc/passes.c:2042
0xef8ebb execute_todo
        /home/dimhen/src/gcc_current/gcc/passes.c:2096
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.