Files
Alessandro Di Federico 151e711cde Review PCH::getUniqueJumpTarget
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`.
2021-02-19 09:39:49 +01:00
..
2020-11-13 10:00:24 +01:00
2020-11-13 10:00:24 +01:00
2020-11-13 10:00:24 +01:00
2021-02-19 09:39:49 +01:00
2020-11-13 10:00:24 +01:00
2020-11-13 10:00:24 +01:00