Re: [polyml] CInterface.setFinal pointer mismatch

2011-11-18 Thread David Matthews
Phil, Thanks for providing a compact example. I ran the test and found out what was happening. Essentially, if two pointers contained the same value but the finaliser was associated with the later entry in the vol table it was possible that the internal memory used to hold the pointer value

Re: [polyml] CInterface.setFinal pointer mismatch

2011-11-18 Thread Phil Clayton
David, Thanks - I have checked the example on x86_64 and can confirm that it works there too. Phil On 18/11/11 11:48, David Matthews wrote: Phil, Thanks for providing a compact example. I ran the test and found out what was happening. Essentially, if two pointers contained the same value

[polyml] CInterface.setFinal pointer mismatch

2011-11-13 Thread Phil Clayton
I am using setFinal to free a string (char *) whose pointer is returned via a parameter (char **) with address/deref to construct/destruct the char ** parameter. Unfortunately, I cannot get this to work. It seems that a function registered with setFinal is not always passed the C pointer (of