https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102324
--- Comment #2 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > So likely we're seeing a POLY_INT here which could eventually be handled the > same as an INTEGER_CST but the question is what to do else (well, return > chrec_dont_know). Well, following previous discussion about SCEVs, the agreement was to treat POLY_INT_CSTs as symbolic. The only caller of initialize_matrix_A is analyze_subscript_affine_affine, which says: /* Determines the overlapping elements due to accesses CHREC_A and CHREC_B, that are affine functions. This function cannot handle symbolic evolution functions, ie. when initial conditions are parameters, because it uses lambda matrices of integers. */ So I guess one question is why we're still seeing symbolic chrecs despite that.
