diff options
| -rw-r--r-- | src/wasm-binary.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/wasm-binary.h b/src/wasm-binary.h index bf5e185cc..2846a4659 100644 --- a/src/wasm-binary.h +++ b/src/wasm-binary.h @@ -470,8 +470,12 @@ public: } if (function) { size_t curr = o.size(); + o << (uint32_t)0; // placeholder visit(function->body); - o.writeAt(curr, uint16_t(o.size() - curr)); + size_t size = o.size() - curr; + assert(size <= std::numeric_limits<uint16_t>::max()); + if (debug) std::cerr << "body size: " << size << ", writing at " << curr << ", next starts at " << o.size() << std::endl; + o.writeAt(curr, uint16_t(size)); } } } |