diff options
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 809ca5a6a..78e123a90 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -2313,6 +2313,7 @@ void FunctionValidator::visitFunction(Function* curr) { for (const auto& var : curr->vars) { features |= var.getFeatures(); shouldBeTrue(var.isConcrete(), curr, "vars must be concretely typed"); + // TODO: check for nullability } shouldBeTrue(features <= getModule()->features, curr->name, |