HomeIsabelle/Phabricator
Diffusion Poly/ML 8fda4fd22441

Prevent the last block from being used. This is to work around a problem that…
8fda4fd22441Unpublished
Actions

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Prevent the last block from being used. This is to work around a problem that occurs if the last word in the heap is a zero-sized cell.

Details

Provenance
dcjmAuthored on Feb 15 2019, 2:36 PM
Parents
rPOLYML0b14b9570ef3: Override ScanObjectAddress in the sharing pass to ensure we don't process code…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
libpolyml/

rPOLYML8fda4fd22441

View Options

libpolyml/osmem.cpp

Loading...