mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-17 16:21:47 +00:00
In check_CFSI_related_invariants, this commit improves the check for invariant (2), which, as noted in an existing comment, "might need to be improved". Instead of assuming that the CFSI range fits entirely into one "rx" mapping, check that it is covered by the union of all the "rx" mappings we have. This is the correct check. The previous check was observed to have failed as below for at least some Clang generated objects (possibly in conjunction with lld as the linker.) valgrind: m_debuginfo/debuginfo.c:717 (check_CFSI_related_invariants): Assertion 'cfsi_fits' failed.
164 KiB
164 KiB