mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
832840c307
This commit ensures that parts of the model that must point to code (specifically `Binary::EntryPoint`, `Binary::ExtraCodeAddresses` and `Function::Entry`) actually point to a segment mapped as +x.