[Bug tree-optimization/116628] New: [15 Regression] ICE in vect_analyze_loop_1 on aarch64 with -Ofast in TSVC

[ktkachov at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 116628
           Summary: [15 Regression] ICE in vect_analyze_loop_1 on aarch64
                    with -Ofast in TSVC
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ktkachov at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64

The testcase is reduced from TSVC:

typedef float c;
c a[2000], b[0];
void d() {
  for (int e = 0; e < 2000; e++)
    if (b[e])
      a[e] = b[e];
}

ICEs with -Ofast -mcpu=neoverse-v2
during GIMPLE pass: vect
tsvc.i: In function ‘d’:
tsvc.i:3:6: internal compiler error: in vect_analyze_loop_1, at
tree-vect-loop.cc:3481
    3 | void d() {
      |      ^
0x21d897b internal_error(char const*, ...)
        $SRC/gcc/diagnostic-global-context.cc:492
0x7d8813 fancy_abort(char const*, int, char const*)
        $SRC/gcc/diagnostic.cc:1658
0x12dfaef vect_analyze_loop_1
        $SRC/gcc/tree-vect-loop.cc:3481
0x12e03ab vect_analyze_loop(loop*, vec_info_shared*)
        $SRC/gcc/tree-vect-loop.cc:3682
0x13256b7 try_vectorize_loop_1
        $SRC/gcc/tree-vectorizer.cc:1068
0x13256b7 try_vectorize_loop
        $SRC/gcc/tree-vectorizer.cc:1184
0x1325f87 execute
        $SRC/gcc/tree-vectorizer.cc:1300
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.