mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
151e711cde
This commit makes `PCH::getUniqueJumpTarget` more robust: 1. We bail out only if we find a non-constant write to a field of `MetaAddress` for which we already have a value. Before, any non-constant write would lead to bailing out. 2. In case we meet an helper, we now bail out only if we didn't saw any write to a portion of the `MetaAddress`.