WebAssembly / WebAssembly/wabt
Compiling WebAssembly 3.0 test cases fails
Open
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 8.1k
- Forks
- 827
- Avg merge
- 4d 6h
- Merged PRs (30d)
- 18
Description
$ wast2json --enable-all --no-check spec/test/core/align.wast
# /spec/test/core/align.wast:1021:45: error: alignment must be power-of-two
i32.load offset=0xFFFF_FFFF_FFFF_FFFF align=0x8000_0000_0000_0000
source: https://github.com/WebAssembly/spec/blob/main/test/core/align.wast#L1021
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the failure with wast2json --enable-all --no-check spec/test/core/align.wast, then inspect test/core/align.wast at line 1021 and the validation path that reports the alignment error. Done means the WebAssembly 3.0 test case compiles successfully without incorrectly rejecting this alignment.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, wasm
- Domain
- compilers, devtools, testing-qa
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100