[Bug tree-optimization/99726] New: [10/11 Regression] ICE in create_intersect_range_checks_index, at tree-data-ref.c:1855 since r10-4762-gf9d6338bd15ce1fae36bf25d3a0545e9678ddc58

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

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

            Bug ID: 99726
           Summary: [10/11 Regression] ICE in
                    create_intersect_range_checks_index, at
                    tree-data-ref.c:1855 since
                    r10-4762-gf9d6338bd15ce1fae36bf25d3a0545e9678ddc58
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: rsandifo at gcc dot gnu.org
  Target Milestone: ---

Since the revision the following is causing ICE:

$  cat ~/Programming/testcases/ice.i
extern int aa[][1024];
int aa_4294967295_1;
long foo4_n, foo4_m;
unsigned int main_i;
void main() {
  {
    unsigned j;
    for (; main_i < foo4_m; main_i++) {
      j = 1;
      for (; j < foo4_n; j++)
        aa[main_i][j] = aa_4294967295_1 * aa[main_i - 1][j + 1];
    }
  }
}

$ gcc ~/Programming/testcases/ice.i -flive-patching=inline-clone -mavx512vbmi2
-O2 -floop-nest-optimize -ftree-loop-vectorize -ftrapv -m32
during GIMPLE pass: vect
/home/marxin/Programming/testcases/ice.i: In function ‘main’:
/home/marxin/Programming/testcases/ice.i:5:6: internal compiler error: in
create_intersect_range_checks_index, at tree-data-ref.c:2197
    5 | void main() {
      |      ^~~~
0x842c04 create_intersect_range_checks_index
        /home/marxin/Programming/gcc/gcc/tree-data-ref.c:2197
0x19d8dcc create_intersect_range_checks
        /home/marxin/Programming/gcc/gcc/tree-data-ref.c:2580
0x19d8dcc create_runtime_alias_checks(loop*, vec<dr_with_seg_len_pair_t,
va_heap, vl_ptr>*, tree_node**)
        /home/marxin/Programming/gcc/gcc/tree-data-ref.c:2663
0x111a23e vect_create_cond_for_alias_checks(_loop_vec_info*, tree_node**)
        /home/marxin/Programming/gcc/gcc/tree-vect-loop-manip.c:3329
0x111bd45 vect_loop_versioning(_loop_vec_info*, gimple*)
        /home/marxin/Programming/gcc/gcc/tree-vect-loop-manip.c:3418
0x11138a6 vect_transform_loop(_loop_vec_info*, gimple*)
        /home/marxin/Programming/gcc/gcc/tree-vect-loop.c:9459
0x1140fff try_vectorize_loop_1
        /home/marxin/Programming/gcc/gcc/tree-vectorizer.c:1104
0x1141ce0 vectorize_loops()
        /home/marxin/Programming/gcc/gcc/tree-vectorizer.c:1243
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.