diff options
author | Heejin Ahn <aheejin@gmail.com> | 2020-01-13 16:59:55 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-13 16:59:55 -0800 |
commit | 58d973cb15d2c1d53d16a5837a537ee0ebe50e27 (patch) | |
tree | b765631423c07a0237b9d67e8c310c466052b35a | |
parent | 4953bcc59085c49343c334ccc852fc5c0339c938 (diff) | |
download | binaryen-58d973cb15d2c1d53d16a5837a537ee0ebe50e27.tar.gz binaryen-58d973cb15d2c1d53d16a5837a537ee0ebe50e27.tar.bz2 binaryen-58d973cb15d2c1d53d16a5837a537ee0ebe50e27.zip |
Clear Mixedarena in ModuleUtils::clearModule (#2588)
-rw-r--r-- | src/ir/module-utils.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ir/module-utils.h b/src/ir/module-utils.h index 014fcb34c..703ae3e53 100644 --- a/src/ir/module-utils.h +++ b/src/ir/module-utils.h @@ -141,6 +141,7 @@ inline void clearModule(Module& wasm) { wasm.userSections.clear(); wasm.debugInfoFileNames.clear(); wasm.updateMaps(); + wasm.allocator.clear(); } // Renaming |