blob: 1dfd20962efdc502fe0b2f82a1f1028bf62bfcf1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
;; Test for validation of non-nullable locals
;; RUN: wasm-opt -all --enable-gc-nn-locals %s --print | filecheck %s
;; CHECK: (module
(module
(func $foo (param $nn (ref any))
;; It is ok to read a non-nullable param.
(drop
(local.get $nn)
)
)
)
|
