------- Comment #27 from spop at gcc dot gnu dot org 2010-03-23 20:08 ------- I just verified that the problem is well in CLooG-PPL. With CLooG-ISL we generate a correct code that looks like this:
for (c2=1;c2<=D.1554_10-3;c2++) { S1(c2); for (c4=0;c4<=c2-1;c4++) { S2(c2,c4); S3(c2,c4); S4(c2,c4); } S2(c2,c2); S4(c2,c2); for (c4=c2+1;c4<=D.1554_10-2;c4++) { S2(c2,c4); S3(c2,c4); S4(c2,c4); } S5(c2); S6(c2); } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42181