diff options
| author | Daniel Wirtz <dcode@dcode.io> | 2020-09-17 07:46:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-17 07:46:40 +0200 |
| commit | e1d74ef2acdd88f06b9e58f91f30bb56b9a26fe8 (patch) | |
| tree | 3b52301afd147617cf14e32fd487378394bc709b /src/wasm/wasm-validator.cpp | |
| parent | a96e8310e1a58c0a43b2d0e2ff4f9db24dd9a18a (diff) | |
| download | binaryen-e1d74ef2acdd88f06b9e58f91f30bb56b9a26fe8.tar.gz binaryen-e1d74ef2acdd88f06b9e58f91f30bb56b9a26fe8.tar.bz2 binaryen-e1d74ef2acdd88f06b9e58f91f30bb56b9a26fe8.zip | |
Add GC feature flag (#3135)
Adds the `--enable-gc` feature flag, so far enabling the `anyref` type incl. subtyping, and removes the temporary `--enable-anyref` feature flag that it replaces.
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index 80c54abed..15fb66926 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -2478,10 +2478,10 @@ static void validateModule(Module& module, ValidationInfo& info) { } static void validateFeatures(Module& module, ValidationInfo& info) { - if (module.features.hasAnyref()) { + if (module.features.hasGC()) { info.shouldBeTrue(module.features.hasReferenceTypes(), module.features, - "--enable-anyref requires --enable-reference-types"); + "--enable-gc requires --enable-reference-types"); } if (module.features.hasExceptionHandling()) { // implies exnref info.shouldBeTrue( |