Stream: git-wasmtime

Topic: wasmtime / PR #3845 ISLE: fix compile fuzz target, and fi...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 23 2022 at 20:39):

cfallin opened PR #3845 from isle-fuzzing-fix to main:

It seems our compile fuzz target for ISLE has not been regularly
tested, as it was never updated for the isle -> cranelift_isle crate
renaming. This PR fixes it to compile again.

This also includes a simple fix in the typechecking: when verifying that
a term decl is valid, we might insert a term ID into the name->ID map
before fully checking that all of the types exist, and then skipping
(for error recovery purposes) the actual push onto the term-signature
vector if one of the types does have an error. This phantom TID can
later cause a panic. The fix is to avoid adding to the map until we have
fully verified the term decl.

<!--

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 (Feb 23 2022 at 20:39):

cfallin requested fitzgen for a review on PR #3845.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 23 2022 at 20:46):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 23 2022 at 21:03):

cfallin updated PR #3845 from isle-fuzzing-fix to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 23 2022 at 22:34):

cfallin merged PR #3845.


Last updated: Nov 22 2024 at 17:03 UTC