Function TEST

test/loader/segmentTest.cpp:36–128

}

TEST(SegmentTest, LoadTableSegment) {
  std::vector<uint8_t> Vec;

  Conf.setWASMStandard(WasmEdge::Standard::WASM_2);
  WasmEdge::Loader::Loader LdrWASM2(Conf);

  // 1. Test load table segment.
  //
  //   1.  Load invalid empty table segment.
  //   2.  Load a table segment that contains only table type.
  //   3.  Load a table segment that contains an initialization expression
  //       with or without the typed function reference proposal.
  //   4.  Load a table segment with an unexpected end of checking byte.
  //   5.  Load a table segment with a wrong checking byte.
  //   6.  Load a table segment with an unexpected end of table type.
  //   7.  Load a table segment with an unexpected end of initialization
  //       expression.

  Vec = {
      0x04U, // Table section
      0x01U, // Content size = 1
      0x01U, // Vector length = 1
  };
  EXPECT_FALSE(Ldr.parseModule(prefixedVec(Vec)));

  Vec = {
      0x04U,                             // Table section
      0x0DU,                             // Content size = 13
      0x01U,                             // Vector length = 1
      0x70U,                             // Reference type
      0x01U,                             // Has min and max
      0xF1U, 0xFFU, 0xFFU, 0xFFU, 0x0FU, // Min = 4294967281
      0xFFU, 0xFFU, 0xFFU, 0xFFU, 0x0FU  // Max = 4294967295
  };
  EXPECT_TRUE(Ldr.parseModule(prefixedVec(Vec)));

  Vec = {
      0x04U,                             // Table section
      0x13U,                             // Content size = 19
      0x01U,                             // Vector length = 1
      0x40U, 0x00U,                      // Table segment with init
      0x70U,                             // Reference type
      0x01U,                             // Has min and max
      0xF1U, 0xFFU, 0xFFU, 0xFFU, 0x0FU, // Min = 4294967281
      0xFFU, 0xFFU, 0xFFU, 0xFFU, 0x0FU, // Max = 4294967295
      0x45U, 0x46U, 0x47U, 0x0BU         // Expression
  };
  EXPECT_FALSE(LdrWASM2.parseModule(prefixedVec(Vec)));
  EXPECT_TRUE(Ldr.parseModule(prefixedVec(Vec)));

  Vec = {
      0x04U, // Table section
      0x02U, // Content size = 2
      0x01U, // Vector length = 1
      0x40U  // Table segment with init
             // 0x00U     Missing checking byte
             // Missing table type and initialization expression
  };