------- Comment #23 from bagnara at cs dot unipr dot it 2009-08-14 22:49 ------- What you can do is to use ppl_Linear_Expression_OK() and ppl_Pointset_Powerset_C_Polyhedron_OK() to make sure you are not working with corrupted objects.
If both the *_OK() functions evaluate to true, you could use the functions ppl_Linear_Expression_ascii_dump() and ppl_Pointset_Powerset_C_Polyhedron_ascii_dump() and attach the resulting output here: this should allow us to reproduce the problem. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40981
