You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
Best regards,
Tobias
The text was updated successfully, but these errors were encountered:
Hi,
I am encountering issues freeing some abstract values in the polyhedra domain. I have gotten the
EXC_BAD_ACCESS
exception intwothreefourfivesix different places so far:opt_pk_representation.c
line 54 becauseopo
has value0x1000000000000000
array_comp_list.c
line 48 becausecl
has value0x1000000000000000
opt_pk_matrix.c
line 120 becauseomat
has value0x8000000000000002
opt_pk_matrix.c
line 121 becauseomat->p
has value0x300000000000000b
opt_pk_satmat.c
line 66 becauseos
has value0x0000000000000004
comp_list.c
line 73 becausec
has value0x0x4000000000000003
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
The text was updated successfully, but these errors were encountered: