[Bug tree-optimization/111614] New: [14 Regression] ICE at -O2: verify_gimple failed since r14-2282-gf703d2fd3f0

["shaohua.li at inf dot ethz.ch" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 111614
           Summary: [14 Regression] ICE at -O2: verify_gimple failed since
                    r14-2282-gf703d2fd3f0
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: shaohua.li at inf dot ethz.ch
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

gcc at -O2 crashes.

Bisected to r14-2282-gf703d2fd3f0

Compiler explorer: https://godbolt.org/z/xG5Tosvnc

$ cat a.c
int a, b, c, d, e;
static void f() {
  int *g = &b;
  b = 1;
  for (; b >= 0; b--) {
    c = 0;
    for (; c <= 1; c++)
      e = 0;
    for (; e <= 1; e++) {
      int h, i = h = 13;
      for (; h; h--)
        i = i << a;
      d &= i + c + 9 + *g;
    }
  }
}
int main() {
  f();
  for (;;)
    ;
}
$
$ gcc -O3 a.c
a.c: In function ‘main’:
a.c:17:5: error: type mismatch in binary expression
   17 | int main() {
      |     ^~~~
vector(2) int

vector(2) int

vector(2) unsigned int

_15 = vect__15.28_19 & _11;
during GIMPLE pass: reassoc
a.c:17:5: internal compiler error: verify_gimple failed
0x7f6a86416082 __libc_start_main
        ../csu/libc-start.c:308
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
$