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 /test/wasm2js | |
| 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 'test/wasm2js')
| -rw-r--r-- | test/wasm2js/global_i64.wast | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/wasm2js/global_i64.wast b/test/wasm2js/global_i64.wast index 99fa419c1..6ed163d79 100644 --- a/test/wasm2js/global_i64.wast +++ b/test/wasm2js/global_i64.wast @@ -1,6 +1,5 @@ (module (global $f (mut i64) (i64.const 0x12345678ABCDEFAF)) - (global $g (mut i64) (global.get $f)) (func $call (param i64)) (func "exp" (call $call (global.get $f)) |