------- Comment #6 from il dot basso dot buffo at gmail dot com 2009-02-26 18:53 ------- Richard, can you post your `gcc -v` so I can make sure my config options are the same as yours? Also, are you using cloog-ppl from git? I am using 0.15 from ftp://gcc.gnu.org/pub/gcc/infrastructure/ .
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39308
