sysio::chain::wasm_validations::globals_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 34 of file wasm_sysio_validation.hpp.

Member Function Documentation

validate()

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

static

Definition at line 40 of file wasm_sysio_validation.cpp.

                                                           {
   unsigned mutable_globals_total_size = 0;
   for(const GlobalDef& global_def : m.globals.defs) {
      if(!global_def.type.isMutable)
         continue;
      switch(global_def.type.valueType) {
         case ValueType::any:
         case ValueType::num:
            FC_THROW_EXCEPTION(wasm_execution_error, "Smart contract has unexpected global definition value type");
         case ValueType::i64:
         case ValueType::f64:
            mutable_globals_total_size += 4;
         case ValueType::i32:
         case ValueType::f32:
            mutable_globals_total_size += 4;
      }
   }
   if(mutable_globals_total_size > wasm_constraints::maximum_mutable_globals)
      FC_THROW_EXCEPTION(wasm_execution_error, "Smart contract has more than ${k} bytes of mutable globals",
            ("k", wasm_constraints::maximum_mutable_globals));
}

---

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