diff options
| author | Alon Zakai <azakai@google.com> | 2020-10-20 10:46:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 10:46:58 -0700 |
| commit | c0c3812dfde2b8086b2fdd603e0d70705ec8a1e4 (patch) | |
| tree | 6d8c1c943daffdb4155f7f22527f65e172a6ac67 /scripts/fuzz_opt.py | |
| parent | 3732f36ce062c3ee60413e4c19667f256b9297f8 (diff) | |
| download | binaryen-c0c3812dfde2b8086b2fdd603e0d70705ec8a1e4.tar.gz binaryen-c0c3812dfde2b8086b2fdd603e0d70705ec8a1e4.tar.bz2 binaryen-c0c3812dfde2b8086b2fdd603e0d70705ec8a1e4.zip | |
Avoid name collisions in MemoryPacking (#3265)
Such a collision can happen if we run the pass twice, and somehow it finds
more to optimize.
To make this easy, add a general utility for getting a unique name based on
a root + a numeric suffix to avoid collisions.
Fixes the second testcase in #3225
Diffstat (limited to 'scripts/fuzz_opt.py')
0 files changed, 0 insertions, 0 deletions