diff options
| author | Ben Smith <binji@chromium.org> | 2020-06-09 08:50:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-09 08:50:49 -0700 |
| commit | 30d74b15937266778b83a7c1a3af813e5d9db5a7 (patch) | |
| tree | dd2aa72376d6b95ac6b0d79c9a0c38128a5c6aed /test/binary | |
| parent | 15264cd20be3510058e56d1de5db1f32ae5364eb (diff) | |
| download | wabt-30d74b15937266778b83a7c1a3af813e5d9db5a7.tar.gz wabt-30d74b15937266778b83a7c1a3af813e5d9db5a7.tar.bz2 wabt-30d74b15937266778b83a7c1a3af813e5d9db5a7.zip | |
Check for malformed alignment (#1454)
Fixes issue #1453.
Diffstat (limited to 'test/binary')
| -rw-r--r-- | test/binary/bad-alignment.txt | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/binary/bad-alignment.txt b/test/binary/bad-alignment.txt new file mode 100644 index 00000000..4601c27c --- /dev/null +++ b/test/binary/bad-alignment.txt @@ -0,0 +1,18 @@ +;;; TOOL: run-gen-wasm-bad +magic +version +section(TYPE) { count[1] function params[0] results[0] } +section(FUNCTION) { count[1] type[0] } +section(MEMORY) { count[1] flags[0] min[1] } +section(CODE) { + count[1] + func { + locals[0] + i32.load align[65] offset[0] + drop + } +} +(;; STDERR ;;; +000001e: error: invalid load alignment: 65 +000001e: error: invalid load alignment: 65 +;;; STDERR ;;) |