http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52943
--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-04-12 09:24:48 UTC --- (compute_affine_dependence stmt_a: D.1717_2 = a[3]; stmt_b: a[b.0_15] = D.1719_4; (subscript_dependence_tester (analyze_overlapping_iterations (chrec_a = 3) (chrec_b = {3, +, -1}_1) (analyze_siv_subscript ) (overlap_iterations_a = no dependence ) (overlap_iterations_b = no dependence ) ) (dependence classified: scev_known) ) ) -> no dependence Obviously wrong.