diff options
author | Ben Smith <binjimin@gmail.com> | 2018-12-03 23:10:12 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-03 23:10:12 -0800 |
commit | 96e12c00b3bec700f851e94b63708ead1d7f84ad (patch) | |
tree | d51725fbdf3c687434a7b0a6c9ae4199fab5b7ab /src/wast-parser.cc | |
parent | 48e4b094c54103fbf406d7566c950190d928c34c (diff) | |
download | wabt-96e12c00b3bec700f851e94b63708ead1d7f84ad.tar.gz wabt-96e12c00b3bec700f851e94b63708ead1d7f84ad.tar.bz2 wabt-96e12c00b3bec700f851e94b63708ead1d7f84ad.zip |
Rename duplicate locals (#968)
Similar to PR #512, duplicate locals are allowed in the `names` section,
but will produce an invalid wat file. We could support these properly
with custom annotations, but that isn't available yet. In the meantime,
we follow the same before as with functions and append `.1`, `.2`, etc
to the names to make them unique.
Diffstat (limited to 'src/wast-parser.cc')
0 files changed, 0 insertions, 0 deletions