From 6645f0c05b8e9268f35742bb6b0a67e0a9c40795 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 29 Jul 2024 16:27:42 -0700 Subject: Fix shareability of internalized nulls (#6789) --- test/spec/convert_extern.wast | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 test/spec/convert_extern.wast (limited to 'test/spec') diff --git a/test/spec/convert_extern.wast b/test/spec/convert_extern.wast new file mode 100644 index 000000000..36254bc4a --- /dev/null +++ b/test/spec/convert_extern.wast @@ -0,0 +1,11 @@ +(module + (func $shared-null (export "shared-null") (result (ref null (shared any))) + ;; The shared null here should remain shared as we internalize it. + (any.convert_extern + (ref.null (shared noextern)) + ) + ) +) + +(assert_return (invoke "shared-null") (ref.null (shared any))) + -- cgit v1.2.3