diff options
| author | Ben Smith <binji@chromium.org> | 2020-03-11 09:54:35 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-11 09:54:35 -0700 |
| commit | cbe3f1291df14685bf44a61692ebef8934d17c4f (patch) | |
| tree | e4e17e8612e29599a12900d92d95f697095dfabe /test/spec/elem.txt | |
| parent | f649b7ca9af02ff3213d8c2b135eaef9d87f5e0d (diff) | |
| download | wabt-cbe3f1291df14685bf44a61692ebef8934d17c4f.tar.gz wabt-cbe3f1291df14685bf44a61692ebef8934d17c4f.tar.bz2 wabt-cbe3f1291df14685bf44a61692ebef8934d17c4f.zip | |
Remove validation from the BinaryReader (#1354)
Validation should only happen in ValidateModule, BinaryReader should
only check whether the binary is malformed.
This change also fixes a few places in BinaryReaderIR where an index is
assumed to be valid.
Diffstat (limited to 'test/spec/elem.txt')
| -rw-r--r-- | test/spec/elem.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/spec/elem.txt b/test/spec/elem.txt index f332be43..273a1899 100644 --- a/test/spec/elem.txt +++ b/test/spec/elem.txt @@ -26,7 +26,8 @@ out/test/spec/elem.wast:229: assert_unlinkable passed: out/test/spec/elem.wast:237: assert_unlinkable passed: error: out of bounds table access: elem segment is out of bounds: [4294967286, 4294967287) >= max value 10 out/test/spec/elem.wast:248: assert_invalid passed: - 0000015: error: elem section without table section + 0000000: error: table variable out of range: 0 (max 0) + 0000016: error: BeginElemSegment callback failed out/test/spec/elem.wast:258: assert_invalid passed: 0000014: error: expected i32 init_expr out/test/spec/elem.wast:266: assert_invalid passed: |