------- Comment #5 from spop at gcc dot gnu dot org 2009-10-23 20:52 ------- The data dependence analysis is not instructed that the iteration domain of the k loop will be splitted, and thus it answers "interchanging stmt_5 is a correct transform".
To correct this problem we have to distribute the loop such that we will ask the question "is it legal to transform the loops to be interchanged around stmt_5 in a perfect loop nest"? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41811
