sysio::chain::wasm_validations::data_segments_validation_visitor Struct Reference

#include <wasm_sysio_validation.hpp>

Static Public Member Functions
static void	validate (const IR::Module &m)

Detailed Description

Definition at line 26 of file wasm_sysio_validation.hpp.

Member Function Documentation

validate()

void sysio::chain::wasm_validations::data_segments_validation_visitor::validate ( const IR::Module & m )

static

Definition at line 23 of file wasm_sysio_validation.cpp.

                                                                {
   for ( const DataSegment& ds : m.dataSegments ) {
      if ( ds.baseOffset.type != InitializerExpression::Type::i32_const )
         FC_THROW_EXCEPTION( wasm_execution_error, "Smart contract has unexpected memory base offset type" );
 
      if ( static_cast<uint32_t>( ds.baseOffset.i32 ) + ds.data.size() > wasm_constraints::maximum_linear_memory_init )
         FC_THROW_EXCEPTION(wasm_execution_error, "Smart contract data segments must lie in first ${k}KiB", 
               ("k", wasm_constraints::maximum_linear_memory_init/1024));
   }
}

---

The documentation for this struct was generated from the following files:

• libraries/chain/include/sysio/chain/wasm_sysio_validation.hpp
• libraries/chain/wasm_sysio_validation.cpp