[Bug tree-optimization/111950] New: ICE in compute_live_loop_exits, at tree-ssa-loop-manip.cc:250 since r14-4786-gd118738e71c

[shaohua.li at inf dot ethz.ch via Gcc-bugs]

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

            Bug ID: 111950
           Summary: ICE in compute_live_loop_exits, at
                    tree-ssa-loop-manip.cc:250 since r14-4786-gd118738e71c
           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 -O3 crashes on the test case.

Bisected to r14-4786-gd118738e71c

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

$ cat a.c
int a, b, d;
int c[4];
unsigned e;
void f() {
  char g;
  for (; d; d++) {
    g = 1;
    for (; g >= 0; g--) {
      e = b >= 2 || a >> b ?: a;
      c[g] = e;
    }
  }
}
int main() {}
$
$ gcc -O3 a.c
during GIMPLE pass: vect
a.c: In function ‘f’:
a.c:4:6: internal compiler error: in compute_live_loop_exits, at
tree-ssa-loop-manip.cc:250
    4 | void f() {
      |      ^
0x7f4266496082 __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.
$