diff options
author | Alon Zakai <azakai@google.com> | 2020-04-08 09:43:35 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-08 09:43:35 -0700 |
commit | 0a44e995d9b09812260ca46add0f823820d4cc31 (patch) | |
tree | 3737802336b8158335dc3201cd9fdd846c1315a4 /scripts/test/support.py | |
parent | 7531e7b46c2889bd8a1cbe9227a1e306f6c7c0aa (diff) | |
download | binaryen-0a44e995d9b09812260ca46add0f823820d4cc31.tar.gz binaryen-0a44e995d9b09812260ca46add0f823820d4cc31.tar.bz2 binaryen-0a44e995d9b09812260ca46add0f823820d4cc31.zip |
Fix ReorderLocals handling of local names (#2728)
I think the history here is that localNames used to be a
vector, then we made it a map, but didn't update this pass...
so in rare cases it could end up emitting wrong stuff.
Diffstat (limited to 'scripts/test/support.py')
0 files changed, 0 insertions, 0 deletions