diff options
Diffstat (limited to 'src/wasm-interpreter.h')
-rw-r--r-- | src/wasm-interpreter.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/wasm-interpreter.h b/src/wasm-interpreter.h index fb7a3fcea..26c86efe6 100644 --- a/src/wasm-interpreter.h +++ b/src/wasm-interpreter.h @@ -1681,6 +1681,9 @@ public: trap("null ref"); } switch (curr->op) { + case RefAsNonNull: + // We've already checked for a null. + break; case RefAsFunc: if (value.type.isFunction()) { trap("not a func"); |