https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101009
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Hmm, so (compute_affine_dependence stmt_a: g[1].c = 1; stmt_b: *f.0_1 = g[1]; ) -> no dependence isn't the problem but the problem is (compute_affine_dependence stmt_a: g[1].c = 1; stmt_b: *f.0_1 = g[1]; (analyze_overlapping_iterations (chrec_a = 1) (chrec_b = 1) (analyze_ziv_subscript ) (overlap_iterations_a = [0]) (overlap_iterations_b = [0])) (build_classic_dist_vector dist_vector = ( 1 ) ) ) The compute_affine_dependence dumping fails to mark the DR involved, for the second query it's really g[1].c vs. g[1] but that should have a dist vector of 0, not 1 I think.