HomeIsabelle/Phabricator

Fix share-common-data. Code that is only reachable by a relative call or jump…

Description

Fix share-common-data. Code that is only reachable by a relative call or jump was not scanned for values
that could be shared. While the code itself is not shared it could refer to values that can be via its
constant area.

Details

Provenance
dcjmAuthored on Nov 27 2020, 8:36 PM
Parents
rPOLYMLf86ae3dc1686: Initialise fields of mutable closure after allocation.
Branches
Unknown
Tags
Unknown
References
HEAD -> master