Re: [PPL-devel] Some fails of simplify_using_context_assign in CLooG's testsuite

Hi Sebastian.

Sebastian Pop wrote:

Hi,

Many thanks for the implementation of simplify_using_context_assign. Using the attached patch on top of cloog-ppl, I got some segfaults in the code of simplify_using_context_assign:

[...]

I tried to debug it but I'm sure somebody more familiar with the code of PPL could jump in to help.

Just to tell you that I just tried cloog `make check' on my machine and everything is working fine.

_However_ I had the PPL compiled for debugging, which may make a difference. I am now recompiling everything with optimizations turned on and assertions turned off. I will let you know if I find anything interesting.

Ciao, Enea.