diff options
| author | Alon Zakai <azakai@google.com> | 2023-01-13 12:10:20 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-13 12:10:20 -0800 |
| commit | e9012347476a9cb26f829aa9a9a8b04db3438765 (patch) | |
| tree | 1b89ccfd58b9fedc0821783d6150016aa097a86a /src/wasm-debug.h | |
| parent | dc278daff914c401201c1476035de30dc5bc0bd2 (diff) | |
| download | binaryen-e9012347476a9cb26f829aa9a9a8b04db3438765.tar.gz binaryen-e9012347476a9cb26f829aa9a9a8b04db3438765.tar.bz2 binaryen-e9012347476a9cb26f829aa9a9a8b04db3438765.zip | |
[NFC] Work a little more efficiently in RemoveUnusedModuleElements (#5429)
Before, we'd potentially add a new item to the queue multiple times, then
do nothing when popping it from the queue in the second and later times.
With this PR we add a new item to the reachable set and to the queue at
the same time, so items cannot appear more than once in the queue.
Diffstat (limited to 'src/wasm-debug.h')
0 files changed, 0 insertions, 0 deletions