[wasm] Enforce that function bodies end with the \"end\" opcode.

test/mjsunit/wasm/table.js

 // Copyright 2016 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // Flags: --expose-wasm
 
 'use strict';
 
 load("test/mjsunit/wasm/wasm-constants.js");
 load("test/mjsunit/wasm/wasm-module-builder.js");
@@ skipping 134 matching lines @@
   }
   for (let key of [-1, table.length, table.length * 10]) {
     assertThrows(() => table.get(key), RangeError);
   }
   assertThrows(() => table.get(Symbol()), TypeError);
   assertThrows(() => WebAssembly.Table.prototype.get.call([], 0), TypeError);
 })();
 
 (function TestSet() {
   let builder = new WasmModuleBuilder;
-  builder.addExport("wasm", builder.addFunction("", kSig_v_v));
+  builder.addExport("wasm", builder.addFunction("", kSig_v_v).addBody([]));
   builder.addExport("host", builder.addImport("test", "f", kSig_v_v));
   let {wasm, host} = builder.instantiate({test: {f() {}}}).exports;
 
   let table = new WebAssembly.Table({element: "anyfunc", initial: 10});
 
   for (let f of [wasm, host]) {
     for (let i = 0; i < table.length; ++i) table.set(i, null);
     for (let i = 0; i < table.length; ++i) {
       assertSame(null, table.get(i));
       assertSame(undefined, table.set(i, f));
@@ skipping 27 matching lines @@
 
     assertThrows(() => table.set(Symbol(), f), TypeError);
     assertThrows(() => WebAssembly.Table.prototype.set.call([], 0, f),
                  TypeError);
   }
 })();
 
 
 (function TestIndexing() {
   let builder = new WasmModuleBuilder;
-  builder.addExport("wasm", builder.addFunction("", kSig_v_v));
+  builder.addExport("wasm", builder.addFunction("", kSig_v_v).addBody([]));
   builder.addExport("host", builder.addImport("test", "f", kSig_v_v));
   let {wasm, host} = builder.instantiate({test: {f() {}}}).exports;
 
   let table = new WebAssembly.Table({element: "anyfunc", initial: 10});
 
   for (let f of [wasm, host, () => {}, 5, {}, ""]) {
     for (let i = 0; i < table.length; ++i) table[i] = f;
     for (let i = 0; i < table.length; ++i) {
       assertSame(null, table.get(i));
       assertSame(f, table[i]);
     }
 
     for (let key of [0.4, "", NaN, {}, [], () => {}]) {
       assertSame(f, table[key] = f);
       assertSame(f, table[key]);
       assertSame(null, table.get(key));
     }
   }
 })();
 
 (function TestGrow() {
   let builder = new WasmModuleBuilder;
-  builder.addExport("wasm", builder.addFunction("", kSig_v_v));
+  builder.addExport("wasm", builder.addFunction("", kSig_v_v).addBody([]));
   builder.addExport("host", builder.addImport("test", "f", kSig_v_v));
   let {wasm, host} = builder.instantiate({test: {f() {}}}).exports;
 
   function init(table) {
     for (let i = 0; i < 5; ++i) table.set(i, wasm);
     for (let i = 15; i < 20; ++i) table.set(i, host);
   }
   function check(table) {
     for (let i = 0; i < 5; ++i) assertSame(wasm, table.get(i));
     for (let i = 6; i < 15; ++i) assertSame(null, table.get(i));
@@ skipping 17 matching lines @@
   check(table);
   table.grow(5);
   check(table);
   table.grow(0);
   check(table);
   assertThrows(() => table.grow(1), RangeError);
   assertThrows(() => table.grow(-10), RangeError);
 
   assertThrows(() => WebAssembly.Table.prototype.grow.call([], 0), TypeError);
 })();