[interpreter/test] Fix validation for elem.drop (#137)

WebAssembly · Feb 6, 2020 · 404b7e7 · 404b7e7
1 parent 11388e7
commit 404b7e7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/interpreter/valid/valid.ml b/interpreter/valid/valid.ml
@@ -261,7 +261,6 @@ let rec check_instr (c : context) (e : instr) (s : infer_stack_type) : op_type =
     [I32Type; I32Type; I32Type] --> []
 
   | ElemDrop x ->
-    ignore (table c (0l @@ e.at));
     ignore (elem c x);
     [] --> []
 
@@ -295,7 +294,6 @@ let rec check_instr (c : context) (e : instr) (s : infer_stack_type) : op_type =
     [I32Type; I32Type; I32Type] --> []
 
   | DataDrop x ->
-    ignore (memory c (0l @@ e.at));
     ignore (data c x);
     [] --> []
 

diff --git a/test/core/memory_init.wast b/test/core/memory_init.wast
@@ -189,7 +189,7 @@
    (module
      (func (export "test")
        (data.drop 0)))
-   "unknown memory 0")
+   "unknown data segment")
 
 (assert_invalid
   (module

diff --git a/test/core/table_init.wast b/test/core/table_init.wast
@@ -193,7 +193,7 @@
   (module
     (func (export "test")
       (elem.drop 0)))
-  "unknown table 0")
+  "unknown elem segment 0")
 
 (assert_invalid
   (module
@@ -207,7 +207,7 @@
     (func (result i32) (i32.const 0))
     (func (export "test")
       (elem.drop 4)))
-  "unknown table 0")
+  "unknown elem segment 4")
 
 (assert_invalid
   (module