HomeIsabelle/Phabricator

Update a relative address constant if it has moved even if it goes to the same…

Description

Update a relative address constant if it has moved even if it goes to the same place. Fix missing argument in allocator in 32-in-64.

Details

Provenance
dcjmAuthored on Apr 14 2021, 9:10 AM
Parents
rPOLYML423a81c4fcf5: Fix share-common-data. Code that is only reachable by a relative call or jump…
Branches
Unknown
Tags
Unknown