1(module
2  (memory 1 1)
3  (func (export "load_oob")
4    i32.const 65536
5    i32.load
6    drop
7  )
8)
9
10(assert_trap (invoke "load_oob") "out of bounds memory access")
11(assert_trap (invoke "load_oob") "out of bounds memory access")
12
13(module
14  (memory 1 1)
15  (func (export "store_oob")
16    i32.const 65536
17    i32.const 65536
18    i32.store
19  )
20)
21
22(assert_trap (invoke "store_oob") "out of bounds memory access")
23(assert_trap (invoke "store_oob") "out of bounds memory access")
24
25(module
26  (memory 0 0)
27  (func (export "load_oob_0")
28    i32.const 0
29    i32.load
30    drop
31  )
32)
33
34(assert_trap (invoke "load_oob_0") "out of bounds memory access")
35(assert_trap (invoke "load_oob_0") "out of bounds memory access")
36
37(module
38  (memory 0 0)
39  (func (export "store_oob_0")
40    i32.const 0
41    i32.const 0
42    i32.store
43  )
44)
45
46(assert_trap (invoke "store_oob_0") "out of bounds memory access")
47(assert_trap (invoke "store_oob_0") "out of bounds memory access")
48
49(module
50  (func (export "divbyzero") (result i32)
51    i32.const 1
52    i32.const 0
53    i32.div_s
54  )
55)
56
57(assert_trap (invoke "divbyzero") "integer divide by zero")
58(assert_trap (invoke "divbyzero") "integer divide by zero")
59
60(module
61  (func (export "unreachable")
62    (unreachable)
63  )
64)
65
66(assert_trap (invoke "unreachable") "unreachable")
67(assert_trap (invoke "unreachable") "unreachable")
68