Stream: git-wasmtime

Topic: wasmtime / PR #3014 Fix updating srclocs in truncate_last...


view this post on Zulip Wasmtime GitHub notifications bot (Jun 22 2021 at 12:01):

uweigand opened PR #3014 from fix-srcloc to main:

The truncate_last_branch removes an instruction that had already
been added to the buffer, and must update various bookkeeping.

However, updating the "srclocs" field is incorrect: if there is
a srclocs entry that spans both the removed branch *and some
previous instruction*, that whole srclocs entry is removed,
which makes those previous instructions now uncovered by any
srclocs record. This can cause subsequent problems e.g. if
one of those instructions traps.

Fixed by just truncating instead of fully removing the srclocs
record in this case.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jun 22 2021 at 17:26):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 22 2021 at 17:26):

cfallin merged PR #3014.


Last updated: Nov 22 2024 at 16:03 UTC