Wrong error message in case of validation error
Open
Nobody has claimed this yet.
- Dominant language
- WebAssembly
- Stars
- 512
- Forks
- 51
- Avg merge
- 7h 34m
- Merged PRs (30d)
- 21
Description
Running this test program, I get the following error:
$ ./bin/wizeng.x86-linux -ext:gc -ext:exception-handling ./print_array.wasm
./print_array.wasm:0x3D04:Code[49]: expected 148 data segments, missing data section
We should get the following validation error instead:
./bin/wizeng.x86-linux -ext:gc -ext:exception-handling ./print_array.wasm
./print_array.wasm:0x7F82:Code[49]: expected type (ref array #0), got i32
The issue is that in case of validation error, the parsing is interrupted but the check for missing data section is still performed, overriding the previous error.
Contributor guide
No contributing guide indexed for this repository
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
Start by running the command from the issue with the attached test.zip and compare the reported validation errors. Trace the validation/parsing path and the missing-data-section check; done means the earlier expected-type error is preserved instead of being overwritten.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100