HomeIsabelle/Phabricator

Override ScanObjectAddress in the sharing pass to ensure we don't process code…
0b14b9570ef3Unpublished

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

Override ScanObjectAddress in the sharing pass to ensure we don't process code addresses. This incorporates the fix in c014597 but also deals with return addresses on the stack.

Details

Provenance
dcjmAuthored on Feb 17 2019, 4:11 PM
Parents
rPOLYML7740ddf42f2c: Fix some issues to do with closing streams. Add a regression test.
Branches
Unknown
Tags
Unknown

Event Timeline