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

[Enea Zaffanella]

Enea Zaffanella wrote:
> Enea Zaffanella wrote:
>> Just to tell you that I just tried cloog `make check' on my machine and 
>> everything is working fine.
> 
> No, I was wrong, the problem is there even with assertions on.
> Now I have a small testcase, so I am confident we will fix it.

Sebastian,

would you please try and apply the following simple patch?

http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.132&r2=1.133

Let me know if this is enough to get rid of segmentation faults
(or assertion failures, depending on configuration).

Note that I am still working to complete the correction, since the 
current code fails to simplify a few constraints that (to my eyes) 
should be redundant in the given context.

Ciao,
Enea.