diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/parse/expr/bulk-memory-named.txt | 2 | ||||
| -rw-r--r-- | test/parse/module/bad-elem-redefinition.txt | 13 |
2 files changed, 14 insertions, 1 deletions
diff --git a/test/parse/expr/bulk-memory-named.txt b/test/parse/expr/bulk-memory-named.txt index 22a94d2f..92af32d3 100644 --- a/test/parse/expr/bulk-memory-named.txt +++ b/test/parse/expr/bulk-memory-named.txt @@ -11,7 +11,7 @@ (table 1 anyfunc) (elem $elem funcref (ref.func 0) (ref.null)) - (elem $elem funcref 0) + (elem $elem2 funcref 0) (func i32.const 0 i32.const 0 i32.const 0 table.init $elem elem.drop $elem diff --git a/test/parse/module/bad-elem-redefinition.txt b/test/parse/module/bad-elem-redefinition.txt new file mode 100644 index 00000000..1b589617 --- /dev/null +++ b/test/parse/module/bad-elem-redefinition.txt @@ -0,0 +1,13 @@ +;;; TOOL: wat2wasm +;;; ARGS: --enable-bulk-memory +;;; ERROR: 1 +(module + (elem $elem funcref 0) + (elem $elem funcref 0) + (func)) + +(;; STDERR ;;; +out/test/parse/module/bad-elem-redefinition.txt:6:4: error: redefinition of elem "$elem" + (elem $elem funcref 0) + ^^^^ +;;; STDERR ;;) |