blob: 18696b5cf70561048856276a02226c903db81e88 (
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 %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)
)
)
)
|
