blob: 67fcb30e851052b0b9d6f7b4ea723907cc9f8de3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
(module
(global $global1 (mut i32) (i32.const 10))
(global $global2 (mut i32) (i32.const 20))
(func $test1 (export "test1") (param $any (ref null any))
;; This is ok to call: when ignoring external input we assume 0 for the
;; parameters, and this parameter is nullable.
(drop
(local.get $any)
)
(global.set $global1
(i32.const 11)
)
)
(func $test2 (export "test2") (param $any (ref any))
;; This is *not* ok to call: when ignoring external input we assume 0 for
;; the parameters, and this parameter is not nullable.
(drop
(local.get $any)
)
(global.set $global2
(i32.const 22)
)
)
(func $keepalive (export "keepalive") (result i32)
(i32.add
(global.get $global1)
(global.get $global2)
)
)
)
|
