Fix GENCGC and core saving on ARM.
ALLOCATION_POINTER was inconsistently used, resulting in incorrectly
saved cores. Always use ALLOCATION_POINTER on GENCGC ARM.
This change may have broken arm-cheneygc, something to check later.
Even better would be to make all the variations to use one thing,
instead of dynamic_space_free_pointer and ALLOCATION_POINTER.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.