diff options
| author | Sam Clegg <sbc@chromium.org> | 2021-12-13 09:46:06 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-13 09:46:06 -0800 |
| commit | b8907a5a65e916c9c3f18baa9e8a0362afd19347 (patch) | |
| tree | 9dbb82a5dbffff8c14e6eb228b667e36a9941d4b /test/spec/call_indirect.txt | |
| parent | 1d645885f93a7f2240176b0fd994f2408b963a7b (diff) | |
| download | wabt-b8907a5a65e916c9c3f18baa9e8a0362afd19347.tar.gz wabt-b8907a5a65e916c9c3f18baa9e8a0362afd19347.tar.bz2 wabt-b8907a5a65e916c9c3f18baa9e8a0362afd19347.zip | |
Remove check from binary-reader-interp.cc that the validator already catches. NFC (#1784)
If you leave stuff on the stack at the end of an initializer
expression use the same mechanims to report the error as we
do for functions etc.
In addition, improve such errors so its more obvious what is
going on.
Diffstat (limited to 'test/spec/call_indirect.txt')
| -rw-r--r-- | test/spec/call_indirect.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/spec/call_indirect.txt b/test/spec/call_indirect.txt index 0a0e7e43..68f5974c 100644 --- a/test/spec/call_indirect.txt +++ b/test/spec/call_indirect.txt @@ -100,10 +100,10 @@ out/test/spec/call_indirect.wast:824: assert_invalid passed: out/test/spec/call_indirect/call_indirect.17.wasm:0000027: error: type mismatch in call_indirect, expected [f64, i32] but got [] 0000027: error: OnCallIndirectExpr callback failed out/test/spec/call_indirect.wast:832: assert_invalid passed: - out/test/spec/call_indirect/call_indirect.18.wasm:0000024: error: type mismatch in function, expected [] but got [i32] + out/test/spec/call_indirect/call_indirect.18.wasm:0000024: error: type mismatch at end of function, expected [] but got [i32] 0000025: error: EndFunctionBody callback failed out/test/spec/call_indirect.wast:840: assert_invalid passed: - out/test/spec/call_indirect/call_indirect.19.wasm:000002d: error: type mismatch in function, expected [] but got [f64, i32] + out/test/spec/call_indirect/call_indirect.19.wasm:000002d: error: type mismatch at end of function, expected [] but got [f64, i32] 000002e: error: EndFunctionBody callback failed out/test/spec/call_indirect.wast:851: assert_invalid passed: out/test/spec/call_indirect/call_indirect.20.wasm:0000027: error: type mismatch in call_indirect, expected [i32] but got [] |