diff options
| author | Alon Zakai <azakai@google.com> | 2024-01-25 13:23:45 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-25 21:23:45 +0000 |
| commit | 662835a88f6f47d5b1451b453046ae80b4b0fc62 (patch) | |
| tree | 1f2b4ae7a2bfb35a5a13a0b26cadaee17bbdfb6e /src/binaryen-c.cpp | |
| parent | 0375d95a6e134c05ae5478164799a152051826a7 (diff) | |
| download | binaryen-662835a88f6f47d5b1451b453046ae80b4b0fc62.tar.gz binaryen-662835a88f6f47d5b1451b453046ae80b4b0fc62.tar.bz2 binaryen-662835a88f6f47d5b1451b453046ae80b4b0fc62.zip | |
RemoveUnusedModuleElements: Do not remove unused-but-trapping segments (#6242)
An out of bounds active segment traps during startup, which is an effect we must
preserve.
To avoid a regression here, ignore this in TNH mode (where the user assures us
nothing will trap), and also check if a segment will trivially be in bounds and not
trap (if so, it can be removed).
Fixes the remove-unused-module-elements part of #6230
The small change to an existing testcase made a segment there be in bounds,
to avoid this affecting it. Tests for this are in a new file.
Diffstat (limited to 'src/binaryen-c.cpp')
0 files changed, 0 insertions, 0 deletions