Missing Table Element Type Validation

[Q1IQ]

iwasm does not enforce the requirement that the element type of a table must be a reference type. This behavior violates the WebAssembly specification, which mandates that a table’s element type must be a reference type. Using an i32 type for the table element should be rejected at validation time.

Test case

negative_2.wat.txt
negative_2.wasm.txt

Your environment

• OS: Ubuntu 20.04
• CPU: amd64
• WAMR version: iwasm 2.2.0
• Commands:

iwasm --interp -f main ./program.wasm

Actual behavior

(no error or warning)

Expected State

Table type should be a ref type, got I32 

[TianlongLiang]

Previously, you could disable the reference types in the toolchain(at least some toolchains do not turn it on by default), and the table element would be i32; so the old iwasm would take an i32 table element as a legit type if it compiled without ref types flag, which is previously default build.