diff options
| author | Alon Zakai <azakai@google.com> | 2022-08-29 09:44:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-29 09:44:46 -0700 |
| commit | 8108ce28e66f1002932f6e5dc9dd4f23c8b8a9f3 (patch) | |
| tree | 6a926f435bfb7c5f776a349bb357e1b4f46f1625 /src/wasm-binary.h | |
| parent | 97fd63154cf8be9e12f1919c40eb6bc949c4c704 (diff) | |
| download | binaryen-8108ce28e66f1002932f6e5dc9dd4f23c8b8a9f3.tar.gz binaryen-8108ce28e66f1002932f6e5dc9dd4f23c8b8a9f3.tar.bz2 binaryen-8108ce28e66f1002932f6e5dc9dd4f23c8b8a9f3.zip | |
[NFC] Simplify binary reading logic for memories (#4987)
Similar to #4969 but for memories.
Diffstat (limited to 'src/wasm-binary.h')
| -rw-r--r-- | src/wasm-binary.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/wasm-binary.h b/src/wasm-binary.h index 4a4cab13f..e150915a0 100644 --- a/src/wasm-binary.h +++ b/src/wasm-binary.h @@ -1528,12 +1528,6 @@ public: // names std::vector<std::unique_ptr<ElementSegment>> elementSegments; - // we store memories here after being read from binary, before we know their - // names - std::vector<std::unique_ptr<Memory>> memories; - // we store memory imports here before wasm.addMemoryImport after we know - // their names - std::vector<Memory*> memoryImports; // at index i we have all references to the memory i std::map<Index, std::vector<wasm::Name*>> memoryRefs; |