diff options
| author | Thomas Lively <tlively@google.com> | 2023-03-10 15:30:37 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-10 21:30:37 +0000 |
| commit | a389185799e39368856bc8b6a3f10eb713fc0643 (patch) | |
| tree | 1ad07beddf2a9ad79c2c4e967cf7eeee58b43f77 /src/emscripten-optimizer/parser.cpp | |
| parent | 271312d06760eb3b1d8de1206cc6d00e2cf30d42 (diff) | |
| download | binaryen-a389185799e39368856bc8b6a3f10eb713fc0643.tar.gz binaryen-a389185799e39368856bc8b6a3f10eb713fc0643.tar.bz2 binaryen-a389185799e39368856bc8b6a3f10eb713fc0643.zip | |
Make constant expression validation stricter (#5557)
Previously we treated global.get as a constant expression and only
additionally verified that the target globals were immutable in some cases. But
global.get of a mutable global is never a constant expression, and further,
only imported globals are available in constant expressions unless GC is
enabled.
Fix constant expression validation to only allow global.get of immutable,
imported globals, and fix all the invalid tests.
Diffstat (limited to 'src/emscripten-optimizer/parser.cpp')
0 files changed, 0 insertions, 0 deletions