blob: 16558336c2dee12efad851a10d2c75ed554071cb (
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" (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" (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" (result i32)
(i32.add
(global.get $global1)
(global.get $global2)
)
)
)
|
