blob: 4c97ad39b5ea0f9ed0c74d85dc1305ff81c2deb0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
;; Test for eqref validating only with GC, and not just reference types, even
;; when only declared in a null.
;; RUN: not wasm-opt --enable-reference-types %s 2>&1 | filecheck %s --check-prefix NO-GC
;; RUN: wasm-opt --enable-reference-types --enable-gc %s -o - -S | filecheck %s --check-prefix GC
;; NO-GC: all used types should be allowed
;; GC: (func $foo (param $x eqref)
(module
(func $foo (param $x eqref)
(nop)
)
)
|
