diff options
| author | Thomas Lively <tlively@google.com> | 2024-07-18 16:40:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-18 13:40:23 -0700 |
| commit | 5a6eb1670762b1631d8236a32de38a3851183441 (patch) | |
| tree | caa303526a91ad7e18909d054a5c946dc751805c /src/wasm/wasm-validator.cpp | |
| parent | 7b1ef0c9023368fffd1b6eb6771cab3690295fef (diff) | |
| download | binaryen-5a6eb1670762b1631d8236a32de38a3851183441.tar.gz binaryen-5a6eb1670762b1631d8236a32de38a3851183441.tar.bz2 binaryen-5a6eb1670762b1631d8236a32de38a3851183441.zip | |
Validate features for types used in element segments (#6769)
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index a191d2bdd..9994adf1e 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -3877,6 +3877,14 @@ static void validateTables(Module& module, ValidationInfo& info) { segment->type.isNullable(), "elem", "Non-nullable reference types are not yet supported for tables"); + auto typeFeats = segment->type.getFeatures(); + if (!info.shouldBeTrue( + segment->type == funcref || typeFeats <= module.features, + "elem", + "element segment type requires additional features")) { + info.getStream(nullptr) + << getMissingFeaturesList(module, typeFeats) << '\n'; + } bool isPassive = !segment->table.is(); if (isPassive) { |