000002c: error: invalid section code: 12

[xhorak]

The wasm2wat works fine, but wasm2c returns:
000002c: error: invalid section code: 12
Full output:
wasm2wat:

(module
  (import "env" "__linear_memory" (memory (;0;) 1))
  (data $_ZN5woff210kKnownTagsE (i32.const 0) "pamcdaehaehhxtmhpxameman2/SOtsop tvcmgpffylgacolperp FFCGROVTDBECLBEpsagxmdhnrekHSTLTLCPXMDVaehvxtmvESABFEDGSOPGBUSGCSBEFTSJHTAMTDBCCLBCRLOCLAPC GVSxibstncaravatadbcolbnlsbravccsdftaefxtmfravfravgytshtsujracltromxromdbpoporpkartfpaZfliStalGcolGtaeFlliS"))

wasm2c -v table_tags.wasm
BeginModule(version: 1)
  BeginImportSection(24)
    OnImportCount(1)
    OnImport(index: 0, kind: memory, module: "env", field: "__linear_memory")
    OnImportMemory(import_index: 0, memory_index: 0, initial: 1)
  EndImportSection
000002c: error: invalid section code: 12

What could be the problem here?

[kripken]

Section 12 is "DataCount", which I guess wasm2c does not support yet. That section is emitted in binaries that use bulk memory, and in wasm object files. (For wasm object files, you can link them using wasm-ld to a proper wasm executable before running them in wasm2c.)

[keithw]

FWIW, there is a pending PR to support bulk memory operations in wasm2c (#1877) that you are welcome to try.

[keithw]

(Closing as answered.)