2 files changed, 21 insertions, 0 deletions
diff --git a/test/passes/Oz_fuzz-exec_all-features.txt b/test/passes/Oz_fuzz-exec_all-features.txt
index 8fa184345..b43681cdf 100644
--- a/test/passes/Oz_fuzz-exec_all-features.txt
+++ b/test/passes/Oz_fuzz-exec_all-features.txt
@@ -21,6 +21,8 @@
 [fuzz-exec] calling br_on_cast
 [LoggingExternalInterface logging 3]
 [trap unreachable]
+[fuzz-exec] calling cast-null-anyref-to-gc
+[LoggingExternalInterface logging 0]
 (module
  (type ${mut:i32} (struct (field (mut i32))))
  (type $none_=>_none (func))
@@ -32,6 +34,7 @@
  (export "arrays" (func $1))
  (export "rtts" (func $2))
  (export "br_on_cast" (func $3))
+ (export "cast-null-anyref-to-gc" (func $4))
  (func $0 (; has Stack IR ;)
   (local $0 (ref null ${mut:i32}))
   (call $log
@@ -194,6 +197,11 @@
   )
   (unreachable)
  )
+ (func $4 (; has Stack IR ;)
+  (call $log
+   (i32.const 0)
+  )
+ )
 )
 [fuzz-exec] calling structs
 [LoggingExternalInterface logging 0]
@@ -218,3 +226,5 @@
 [fuzz-exec] calling br_on_cast
 [LoggingExternalInterface logging 3]
 [trap unreachable]
+[fuzz-exec] calling cast-null-anyref-to-gc
+[LoggingExternalInterface logging 0]
diff --git a/test/passes/Oz_fuzz-exec_all-features.wast b/test/passes/Oz_fuzz-exec_all-features.wast
index 78313267c..7d586cffc 100644
--- a/test/passes/Oz_fuzz-exec_all-features.wast
+++ b/test/passes/Oz_fuzz-exec_all-features.wast
@@ -179,4 +179,15 @@
    )
   )
  )
+ (func "cast-null-anyref-to-gc"
+  ;; a null anyref is a literal which is not even of GC data, as it's not an
+  ;; array or a struct, so our casting code should not assume it is. it is ok
+  ;; to try to cast it, and the result should be 0.
+  (call $log
+   (ref.test $struct
+    (ref.null any)
+    (rtt.canon $struct)
+   )
+  )
+ )
 )