22 Aug
2008
22 Aug
'08
1:37 p.m.
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?...
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.