I am encountering issues freeing some abstract values in the polyhedra domain. I have gotten the EXC_BAD_ACCESS exception in twothreefourfive 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.
Hi,
I am encountering issues freeing some abstract values in the polyhedra domain. I have gotten the
EXC_BAD_ACCESSexception intwothreefourfivesix different places so far:opt_pk_representation.cline 54 becauseopohas value0x1000000000000000array_comp_list.cline 48 becauseclhas value0x1000000000000000opt_pk_matrix.cline 120 becauseomathas value0x8000000000000002opt_pk_matrix.cline 121 becauseomat->phas value0x300000000000000bopt_pk_satmat.cline 66 becauseoshas value0x0000000000000004comp_list.cline 73 becausechas value0x0x4000000000000003I have also gotten a "freeing value that was not allocated" in
opt_pk_representation.cline 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_bottomafter some meets.Best regards,
Tobias