diff options
| author | Sam Clegg <sbc@chromium.org> | 2017-08-31 17:40:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-31 17:40:40 -0700 |
| commit | cd9f0a60b5c869673a843f1c0ff47068661b5440 (patch) | |
| tree | 7d15efd724484f9b84cd7ee2ef36daea47f54c85 /test/spec/memory.txt | |
| parent | 03a3c76144192dcc53826ba1cefb35c6502e407e (diff) | |
| download | wabt-cd9f0a60b5c869673a843f1c0ff47068661b5440.tar.gz wabt-cd9f0a60b5c869673a843f1c0ff47068661b5440.tar.bz2 wabt-cd9f0a60b5c869673a843f1c0ff47068661b5440.zip | |
Add type check to data segment offset (#525)
This is a conservative check that we can do in the binary
reader itself. More extensive checking is still done in the
interpreter (i.e. vefiying the type of the global).
Diffstat (limited to 'test/spec/memory.txt')
| -rw-r--r-- | test/spec/memory.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/spec/memory.txt b/test/spec/memory.txt index 51c9cbed..e0009fe0 100644 --- a/test/spec/memory.txt +++ b/test/spec/memory.txt @@ -31,8 +31,7 @@ out/third_party/testsuite/memory.wast:54: assert_invalid passed: error: grow_memory requires an imported or defined memory. 000001b: error: OnGrowMemoryExpr callback failed out/third_party/testsuite/memory.wast:59: assert_invalid passed: - error: type mismatch in data segment, expected i32 but got i64 - 0000015: error: OnDataSegmentData callback failed + 0000013: error: expected i32 init_expr out/third_party/testsuite/memory.wast:63: assert_invalid passed: 0000014: error: expected END opcode after initializer expression out/third_party/testsuite/memory.wast:67: assert_invalid passed: |