Add a test for cont.new of null (#125)

kripken · web-flow · commit 03c6e4c6f86f · 2025-08-18T18:08:25.000+01:00
diff --git a/test/core/stack-switching/cont.wast b/test/core/stack-switching/cont.wast
@@ -117,11 +117,17 @@
     (call $nl4 (cont.new $k1 (ref.func $r1)))
   )
 
-  (func (export "null")
+  (func (export "null-resume")
     (resume $k1
       (ref.null $k1)
     )
   )
+
+  (func (export "null-new") (result (ref null $k1))
+    (cont.new $k1
+      (ref.null $f1)
+    )
+  )
 )
 
 (assert_suspension (invoke "unhandled-1") "unhandled")
@@ -138,7 +144,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_trap (invoke "null-resume") "null continuation reference")
+(assert_trap (invoke "null-new") "null function reference")
 
 (assert_invalid
   (module

Original file line number	Diff line number	Diff line change
`@@ -117,11 +117,17 @@`
`117`	`117`	`(call $nl4 (cont.new $k1 (ref.func $r1)))`
`118`	`118`	`)`
`119`	`119`
`120`		`- (func (export "null")`
	`120`	`+ (func (export "null-resume")`
`121`	`121`	`(resume $k1`
`122`	`122`	`(ref.null $k1)`
`123`	`123`	`)`
`124`	`124`	`)`
	`125`	`+`
	`126`	`+ (func (export "null-new") (result (ref null $k1))`
	`127`	`+ (cont.new $k1`
	`128`	`+ (ref.null $f1)`
	`129`	`+ )`
	`130`	`+ )`
`125`	`131`	`)`
`126`	`132`
`127`	`133`	`(assert_suspension (invoke "unhandled-1") "unhandled")`
`@@ -138,7 +144,8 @@`
`138`	`144`	`(assert_trap (invoke "non-linear-3") "continuation already consumed")`
`139`	`145`	`(assert_trap (invoke "non-linear-4") "continuation already consumed")`
`140`	`146`
`141`		`-(assert_trap (invoke "null") "null continuation reference")`
	`147`	`+(assert_trap (invoke "null-resume") "null continuation reference")`
	`148`	`+(assert_trap (invoke "null-new") "null function reference")`
`142`	`149`
`143`	`150`	`(assert_invalid`
`144`	`151`	`(module`