binaryen/test/lit/validation/public-exact.wast at b25e9e456df80e4679f38d6936e759341d30a62f · WebAssembly/binaryen · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
;; Test that exact references in public types are disallowed without custom descriptors

;; RUN: not wasm-opt %s -all --disable-custom-descriptors 2>&1 | filecheck %s
;; RUN: wasm-opt %s -all -S -o - | filecheck %s --check-prefix=NOERR

;; CHECK:      [wasm-validator error in module] Exact reference in public type not allowed without custom descriptors [--enable-custom-descriptors], on
;; CHECK-NEXT: $struct
;; CHECK-NEXT: [wasm-validator error in module] Exact reference in public type not allowed without custom descriptors [--enable-custom-descriptors], on
;; CHECK-NEXT: $array
;; CHECK-NEXT: [wasm-validator error in module] Exact reference in public type not allowed without custom descriptors [--enable-custom-descriptors], on
;; CHECK-NEXT: $func

;; NOERR: (module

(module
  (type $struct (struct (field (ref null (exact $struct)))))
  (type $array (array (field (ref (exact $struct)))))
  (type $func (func (param (ref null (exact $struct))) (result (ref (exact $array)))))

  (import "" "struct" (global $struct (ref $struct)))
  (import "" "array" (global $array (ref $array)))
  (import "" "func" (global $func (ref $func)))
)