Skip to content

Winch & Exceptions & Fuel: compile error #14292

Description

@alexcrichton

This command currently fails:

$ cargo run wast -C compiler=winch -Wfuel=1 ./tests/misc_testsuite/component-model/async/exceptions.wast
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.11s
     Running `target/debug/wasmtime wast -C compiler=winch -Wfuel=1 ./tests/misc_testsuite/component-model/async/exceptions.wast`
Error: failed to run script file './tests/misc_testsuite/component-model/async/exceptions.wast'

Caused by:
    0: failed directive on ./tests/misc_testsuite/component-model/async/exceptions.wast:21
    1: failed to compile: wasm[0]::function[0]
    2: Compilation error: Winch internal error: Illegal fuel state

cc @macovedj @saulecabrera

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    fuzz-bugBugs found by a fuzzerwasm-proposal:exceptionsIssues for WebAssembly exceptions/exception-handlingwinchWinch issues or pull requests

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions