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