[Bug tree-optimization/106717] New: [13 Regression] ICE: tree check: expected integer_cst, have poly_int_cst in get_len, at tree.h:6247

[asolokha at gmx dot com]

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

            Bug ID: 106717
           Summary: [13 Regression] ICE: tree check: expected integer_cst,
                    have poly_int_cst in get_len, at tree.h:6247
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: aarch64-linux-gnu

gcc 13.0.0 20220821 snapshot (g:d6a39c25c05c6ed5df8ce49eda719d17e40e29bb) ICEs
when compiling the following testcase w/ -mcpu=neoverse-512tvb -O2:

void
foo (int *p)
{
  int *a = p;
  int i;

  p[0] = 0;

  for (i = 0; i < 3; ++i)
    {
      ++*a;
      ++a;
    }

  p[1] = 0;
}

% aarch64-linux-gnu-gcc-13.0.0 -mcpu=neoverse-512tvb -O2 -c yhugtech.c
during GIMPLE pass: slp
yhugtech.c: In function 'foo':
yhugtech.c:2:1: internal compiler error: tree check: expected integer_cst, have
poly_int_cst in get_len, at tree.h:6247
    2 | foo (int *p)
      | ^~~
0x7ff2be tree_check_failed(tree_node const*, char const*, int, char const*,
...)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree.cc:8817
0x1d34223 tree_check(tree_node const*, char const*, int, char const*,
tree_code)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree.h:3764
0x1d34223 wi::extended_tree<576>::get_len() const
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree.h:6247
0x1d34223 wi::int_traits<generic_wide_int<wi::extended_tree<576> >
>::decompose(long*, unsigned int, generic_wide_int<wi::extended_tree<576> >
const&)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/wide-int.h:985
0x1d34223 wide_int_ref_storage<true,
false>::wide_int_ref_storage<generic_wide_int<wi::extended_tree<576> >
>(generic_wide_int<wi::extended_tree<576> > const&, unsigned int)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/wide-int.h:1034
0x1d34223 generic_wide_int<wide_int_ref_storage<true, false>
>::generic_wide_int<generic_wide_int<wi::extended_tree<576> >
>(generic_wide_int<wi::extended_tree<576> > const&, unsigned int)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/wide-int.h:790
0x1d34223 bool wi::eq_p<generic_wide_int<wi::extended_tree<576> >,
int>(generic_wide_int<wi::extended_tree<576> > const&, int const&)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/wide-int.h:1872
0x1d34223 bool wi::ne_p<generic_wide_int<wi::extended_tree<576> >,
int>(generic_wide_int<wi::extended_tree<576> > const&, int const&)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/wide-int.h:1910
0x1d34223 wi::binary_traits<generic_wide_int<wi::extended_tree<576> >, int,
wi::int_traits<generic_wide_int<wi::extended_tree<576> > >::precision_type,
wi::int_traits<int>::precision_type>::predicate_result
operator!=<generic_wide_int<wi::extended_tree<576> >,
int>(generic_wide_int<wi::extended_tree<576> > const&, int const&)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/wide-int.h:3308
0x1d34223 if_nonpoly2<generic_wide_int<wi::extended_tree<576> >, int, bool,
poly_int_traits<generic_wide_int<wi::extended_tree<576> > >::is_poly,
poly_int_traits<int>::is_poly>::type
maybe_ne<generic_wide_int<wi::extended_tree<576> >,
int>(generic_wide_int<wi::extended_tree<576> > const&, int const&)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/poly-int.h:1313
0x1d34223 bool ranges_maybe_overlap_p<generic_wide_int<wi::extended_tree<576>
>, generic_wide_int<wi::extended_tree<576> >,
generic_wide_int<wi::extended_tree<576> >,
generic_wide_int<wi::extended_tree<576> >
>(generic_wide_int<wi::extended_tree<576> > const&,
generic_wide_int<wi::extended_tree<576> > const&,
generic_wide_int<wi::extended_tree<576> > const&,
generic_wide_int<wi::extended_tree<576> > const&)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/poly-int.h:2635
0x1d34223 bool ranges_maybe_overlap_p<generic_wide_int<wi::extended_tree<576>
>, generic_wide_int<wi::extended_tree<576> >,
generic_wide_int<wi::extended_tree<576> >,
generic_wide_int<wi::extended_tree<576> >
>(generic_wide_int<wi::extended_tree<576> > const&,
generic_wide_int<wi::extended_tree<576> > const&,
generic_wide_int<wi::extended_tree<576> > const&,
generic_wide_int<wi::extended_tree<576> > const&)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/poly-int.h:2629
0x1d27c8a dr_may_alias_p(data_reference const*, data_reference const*, loop*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-data-ref.cc:2980
0x1d300f9 initialize_data_dependence_relation(data_reference*, data_reference*,
vec<loop*, va_heap, vl_ptr>)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-data-ref.cc:3469
0x1d488f9 vect_slp_analyze_node_dependences
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-vect-data-refs.cc:747
0x1d4af64 vect_slp_analyze_instance_dependence(vec_info*, _slp_instance*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-vect-data-refs.cc:855
0x12663fb vect_slp_analyze_bb_1
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-vect-slp.cc:5902
0x12663fb vect_slp_region
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-vect-slp.cc:5977
0x1267d84 vect_slp_bbs
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-vect-slp.cc:6168
0x12681c8 vect_slp_function(function*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-vect-slp.cc:6256