Test: Make sure global section validation fails correctly

The file incompatible_init_desc_type.wasm is based on the file
testsuite/globals.wasm and has the first global declaration in the
global section edited to change the global description type from 0x7f
to 0x7e, thus making it incompatible with the type returned from the
instantiation-time initializer.

Author: cjamthagen

test/sectionvalidation.py

@@ -37,6 +37,9 @@ def section_validation_fail(directory):
             if "type" in directory:
                 if not interpreter.TypeSection():
                     sys.exit(1)
+            if "global" in directory:
+                if not interpreter.GlobalSection():
+                    sys.exit(1)
             sys.exit()
         # the parent process
         elif pid > 0:

test/test.py

@@ -88,7 +88,7 @@ def Legacy(self):
         #section_validation_fail(fail_dir + "function")
         #section_validation_fail(fail_dir + "table")
         #section_validation_fail(fail_dir + "memory")
-        #section_validation_fail(fail_dir + "global")
+        section_validation_fail(fail_dir + "global")
         #section_validation_fail(fail_dir + "export")
         #section_validation_fail(fail_dir + "start")
         #section_validation_fail(fail_dir + "element")