EXC_BAD_ACCESS when freeing abstract polyhedra values

[Cu3PO42]

Hi,

I am encountering issues freeing some abstract values in the polyhedra domain. I have gotten the EXC_BAD_ACCESS exception in two three four five six different places so far:

• opt_pk_representation.c line 54 because opo has value 0x1000000000000000
• array_comp_list.c line 48 because cl has value 0x1000000000000000
• opt_pk_matrix.c line 120 because omat has value 0x8000000000000002
• opt_pk_matrix.c line 121 because omat->p has value 0x300000000000000b
• opt_pk_satmat.c line 66 because os has value 0x0000000000000004
• comp_list.c line 73 because c has value 0x0x4000000000000003

I have also gotten a "freeing value that was not allocated" in opt_pk_representation.c line 89.

Unfortunately I have not found easy (small) examples that reproduce these errors, but I will try to find some and update you with them.

My strategy initially was to just avoid freeing objects for now, however I am now getting to cases where the free function is called by opt_poly_set_bottom after some meets.

Best regards,
Tobias