Dear Enea, Dear all,

I tried recently to implement a multi-thread version of my thesis code using PPL library. I used OpenMP and the last version of ppl on devel git branch as I read you have been working on a thread-safe implementation (thread-safe option with configure). I didn't succeed in writing a correct program; see for instance this simple code that return a segmentation fault :

#include <omp.h>

namespace PPL = Parma_Polyhedra_Library;

int main(){

#pragma omp parallel for
    for(int i=0; i<1000; i++){
        PPL::C_Polyhedron ph1(3); // => segmentation fault at line 83 of Linear_Expression.cc
        PPL::C_Polyhedron ph2(3);
        ph1.intersection_assign(ph2);
    }

return 0;

}

Would you have any idea about what is wrong? Is PPL compatible with using OpenMP?

Thanks a lot in advance,

Thomas