diff options
| author | Alon Zakai <azakai@google.com> | 2021-02-26 20:30:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-26 12:30:09 -0800 |
| commit | db6fa71e32e67c85af03e3dab482fbd35ffd1889 (patch) | |
| tree | fb83cedc8d3220c74d795ced84776f923c8dbd00 /src/wasm/wasm-validator.cpp | |
| parent | 7bef936f181b9419640d6a68e2869808c21eda3e (diff) | |
| download | binaryen-db6fa71e32e67c85af03e3dab482fbd35ffd1889.tar.gz binaryen-db6fa71e32e67c85af03e3dab482fbd35ffd1889.tar.bz2 binaryen-db6fa71e32e67c85af03e3dab482fbd35ffd1889.zip | |
[Wasm GC] Add array.wast and validator fixes for it (#3622)
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index 7e9c30c77..1a5894343 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -2491,6 +2491,7 @@ void FunctionValidator::visitArraySet(ArraySet* curr) { element.type, curr, "array.set must have the proper type"); + shouldBeTrue(element.mutable_, curr, "array.set type must be mutable"); } void FunctionValidator::visitArrayLen(ArrayLen* curr) { |