mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
dcc7ca3c6b
This commit introduces a change in AdvancedValueInfoMFI which forces to consider constraints valid on 32-bit values to be valid on their untruncated 64-bit counterparts. While being unsound, this is important to easily devirtualize indirect branches on 64-bit architectures where often constraints are expressed on 32-bit switch values.