Hi Toon, did you build with the latest cloog-ppl package. It is 0.15.7 and available at ftp://gcc.gnu.org/pub/gcc/infrastructure/.
Gcc should build without any problems using this package. Can you verify this? The problem was in the cloog-ppl headers and was fixed in CLooG-ppl 0.15.4 (I think). We should add a check for ClooG revision to make configure fail on outdated cloog 0.15 revisions. Otherwise there is not not much we can do about this in gcc. These are bugs fixed in CLooG and the user needs the latest bugfix release of CLooG itself. Tobi
