[Stack Switching] Handle resuming a null (#7833)

Author: kripken

src/wasm-interpreter.h

@@ -4927,7 +4927,11 @@ class ModuleRunnerBase : public ExpressionRunner<SubType> {
     }
 
     // Get and execute the continuation.
-    auto contData = flow.getSingleValue().getContData();
+    auto cont = flow.getSingleValue();
+    if (cont.isNull()) {
+      trap("null ref");
+    }
+    auto contData = cont.getContData();
     auto func = contData->func;
 
     // If we are resuming a nested suspend then we should just rewind the call

test/spec/cont.wast

@@ -116,6 +116,12 @@
   (func (export "non-linear-4")
     (call $nl4 (cont.new $k1 (ref.func $r1)))
   )
+
+  (func (export "null")
+    (resume $k1
+      (ref.null $k1)
+    )
+  )
 )
 
 (assert_suspension (invoke "unhandled-1") "unhandled")
@@ -132,6 +138,8 @@
 (assert_trap (invoke "non-linear-3") "continuation already consumed")
 (assert_trap (invoke "non-linear-4") "continuation already consumed")
 
+(assert_trap (invoke "null") "null continuation reference")
+
 (assert_invalid
   (module
     (type $ft (func))