A bug in ckecking data count section

[erxiaozhou]

In the test case, the actual number of data segments (0) does not match the length declared in the data count section (1). According to the specification, "the module is malformed". However, WAMRs in JIT mode, fast JIT mode, and interpreter mode do not raise an exception as expected.

Test case

nop_0LM_592_17171016522810388.zip

Your environment

• Host OS: Ubuntu 20.04
• Commit Id: 082cfa1

Steps to reproduce

1. build WAMR on fast interpreter mode / classic interpreter mode / JIT mode / fast JIT mode
2. execute the command

iwasm --heap-size=0 -f "to_test" <test_case>

Expected behavior

An exception indicating that "data count and data section have an inconsistent length"

Actual behavior

No exception