[Bug tree-optimization/97515] New: [11 Regression] ICE: verify_gimple failed (error: type mismatch in 'rshift_expr')

[asolokha at gmx dot com via Gcc-bugs]

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

            Bug ID: 97515
           Summary: [11 Regression] ICE: verify_gimple failed (error: type
                    mismatch in 'rshift_expr')
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

g++-11.0.0-alpha20201018 snapshot (g:1e70b1a358b6ce3b894f284d88fbb90518d45cc0)
ICEs when compiling the following testcase w/ -O1 -ftree-vrp:

int
e7 (int gg)
{
  int xe = 0;

  while (xe < 1)
    {
      int ui;

      ui = ~xe;
      if (ui == 0)
        ui = xe >> gg;

      xe %= !ui;
    }

  return xe;
}

% gcc-11.0.0 -O1 -ftree-vrp -c kg5m6kjq.c
kg5m6kjq.c: In function 'e7':
kg5m6kjq.c:18:1: error: type mismatch in 'rshift_expr'
   18 | }
      | ^
int
<<< error >>>
int
ui_10 = _3 >> gg_9(D);
during GIMPLE pass: evrp
kg5m6kjq.c:18:1: internal compiler error: verify_gimple failed
0xe04f1a verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201018/work/gcc-11-20201018/gcc/tree-cfg.c:5482
0xcdb72f execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201018/work/gcc-11-20201018/gcc/passes.c:1992
0xcdc56c do_per_function
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201018/work/gcc-11-20201018/gcc/passes.c:1640
0xcdc56c execute_todo
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201018/work/gcc-11-20201018/gcc/passes.c:2046