HomeIsabelle/Phabricator

Fix the calls to gMem.SpaceForAddress(obj)->writeAble(obj). gMem.

Description

Fix the calls to gMem.SpaceForAddress(obj)->writeAble(obj). gMem.SpaceForAddress must not be called with the object
address because it breaks if the address is to a zero-sized object at the end of a segment. Add a trap for this
and fix the bad calls.

Details

Provenance
dcjmAuthored on Oct 21 2020, 8:21 PM
Parents
rPOLYML8eef024a21bc: On use MAP_STACK on OpenBSD. It causes problems on FreeBSD.
Branches
Unknown
Tags
Unknown