summaryrefslogtreecommitdiff
path: root/test/interp/spec/func-local-after-body.fail.txt
diff options
context:
space:
mode:
authorBen Smith <binjimin@gmail.com>2016-06-24 13:46:22 -0700
committerGitHub <noreply@github.com>2016-06-24 13:46:22 -0700
commit35600ece919c127db39e625be103a149746fb7b1 (patch)
tree7d981fbc79fd5a7aaf26bebcd0c393892593f9d2 /test/interp/spec/func-local-after-body.fail.txt
parentbb66db55c1767cb0cded918ef530f38aa956ffe9 (diff)
downloadwabt-35600ece919c127db39e625be103a149746fb7b1.tar.gz
wabt-35600ece919c127db39e625be103a149746fb7b1.tar.bz2
wabt-35600ece919c127db39e625be103a149746fb7b1.zip
Update testsuite, and fix tests (#90)
* Modify AST parser to disallow any other order than `param`, `result`, `local`. * Allow parsing all var integers as int64 (the lookups will fail later.) * Fix interpreter logic determining whether to adjust the stack; we were correctly handling the case where `unreachable` was being used in an expression (the value stack is adjusted "up" as if a value was actually produced), but the same behavior is required for `br`, `br_table` and `return`. * Add NAT token to lexer/parser, which is an integer value without a sign.
Diffstat (limited to 'test/interp/spec/func-local-after-body.fail.txt')
-rw-r--r--test/interp/spec/func-local-after-body.fail.txt10
1 files changed, 10 insertions, 0 deletions
diff --git a/test/interp/spec/func-local-after-body.fail.txt b/test/interp/spec/func-local-after-body.fail.txt
new file mode 100644
index 00000000..aa2b867f
--- /dev/null
+++ b/test/interp/spec/func-local-after-body.fail.txt
@@ -0,0 +1,10 @@
+;;; ERROR: 1
+;;; TOOL: run-interp-spec
+;;; STDIN_FILE: third_party/testsuite/func-local-after-body.fail.wast
+(;; STDERR ;;;
+Error running "sexpr-wasm":
+third_party/testsuite/func-local-after-body.fail.wast:1:22: syntax error, unexpected LOCAL
+(module (func (nop) (local i32)))
+ ^^^^^
+
+;;; STDERR ;;)