diff options
author | Ben Smith <binji@chromium.org> | 2020-01-10 22:06:13 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-10 22:06:13 -0800 |
commit | ca00fec0c8378db44d335d1731afd71c70c404cc (patch) | |
tree | 43d8e26558518317ff02f7eba7895fdcb412ce06 /test/spec/bulk-memory-operations/binary.txt | |
parent | 710721e99bb37563cdad97f9b950770abe6064b7 (diff) | |
download | wabt-ca00fec0c8378db44d335d1731afd71c70c404cc.tar.gz wabt-ca00fec0c8378db44d335d1731afd71c70c404cc.tar.bz2 wabt-ca00fec0c8378db44d335d1731afd71c70c404cc.zip |
Error on memory.init|data.drop without DataCount (#1297)
See #1176. This was working in the spec interpreter because of the way
the segment indexes are handled, but it's better to handle it earlier in
the binary reader.
Diffstat (limited to 'test/spec/bulk-memory-operations/binary.txt')
-rw-r--r-- | test/spec/bulk-memory-operations/binary.txt | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/spec/bulk-memory-operations/binary.txt b/test/spec/bulk-memory-operations/binary.txt index b660a411..3b2eb85d 100644 --- a/test/spec/bulk-memory-operations/binary.txt +++ b/test/spec/bulk-memory-operations/binary.txt @@ -133,11 +133,9 @@ out/test/spec/bulk-memory-operations/binary.wast:664: assert_malformed passed: out/test/spec/bulk-memory-operations/binary.wast:674: assert_malformed passed: 000000e: error: data section without memory section out/test/spec/bulk-memory-operations/binary.wast:684: assert_malformed passed: - error: invalid data_segment_index: 0 (max 0) - 0000026: error: OnMemoryInitExpr callback failed + 0000024: error: memory.init requires data count section out/test/spec/bulk-memory-operations/binary.wast:706: assert_malformed passed: - error: invalid data_segment_index: 0 (max 0) - 000001f: error: OnDataDropExpr callback failed + 000001e: error: data.drop requires data count section out/test/spec/bulk-memory-operations/binary.wast:725: assert_malformed passed: 0000024: error: expected ref.null or ref.func in passive element segment 0000025: error: expected END opcode after element expression |