Oct. 14, 2014
12:26 a.m.
Hi Hakan, On 13 October 2014 18:59, Hakan Ardo <hakan@debian.org> wrote:
Are we certain opaque pointers always refer to GC-objects?
Yes.
Right, but mark_opaque_ptr prevents this case as well by not moving operations using opaque pointers into the short preamble. So I guess we are currently fine?
I'm not sure: the logic in optimizeopt/heap.py seems to be "if it's an opaque pointer, and if we don't know its class, then don't move it". According to this logic, operations on RPython instances (like GUARD_CLASS) can still be moved to the short preamble. Maybe I'm missing something else? A bientôt, Armin.