blob: 867db2f47ce1997945fdff220f1c8f8203864c41 (
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 %s 2>&1 | filecheck %s
;; CHECK: non-nullable local's sets must dominate gets
(module
(func $foo
(local $nn (ref any))
;; It is not ok to read a non-nullable local.
(drop
(local.get $nn)
)
)
)
|
