Stream: git-wasmtime

Topic: wasmtime / PR #6814 Remove basic-block padding from Wasmt...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2023 at 15:43):

alexcrichton opened PR #6814 from alexcrichton:disable-bb-padding-fuzzing to bytecodealliance:main:

This commit removes the option to generate padding between basic blocks when fuzzing Wasmtime. Over the weekend lots of OOMs were discovered related to this option and its most recent update in #6736. The new OOMs appear to be related to:

While each of these is probably individually fixable I think it's probably not worth the whack-a-mole any more. The cranelift-fuzzgen target should cover the relevant cases for padding without the need for Wasmtime's fuzzing to cover it as well.

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2023 at 15:43):

alexcrichton requested itsrainy for a review on PR #6814.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2023 at 15:43):

alexcrichton requested wasmtime-core-reviewers for a review on PR #6814.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 09 2023 at 16:51):

jameysharp submitted PR review:

Yeah, that's fair: hopefully the Cranelift fuzzing will cover this pretty well.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 09 2023 at 17:33):

alexcrichton merged PR #6814.


Last updated: Nov 22 2024 at 17:03 UTC