1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(module
(memory 256 256)
(data (i32.const 10) "waka waka waka waka waka")
(export "test1" (func $test1))
(export "test2" (func $test2))
(export "test3" (func $test3))
(func $test1
(i32.store8 (i32.const 12) (i32.const 115)) ;; a safe store, should alter memory
)
(func $test2
(unreachable)
(i32.store8 (i32.const 13) (i32.const 114)) ;; a safe store, should alter memory, but we trapped already
)
(func $test3
(i32.store8 (i32.const 13) (i32.const 113)) ;; a safe store, should alter memory, but we trapped already
)
)
|
