3f24098edc
And lots of other miscellaneous changes. Rename InstanceWorld to InstancePlus and reorganize its contents. This still isn't a great name, but at least now it has a clear purpose.
68 lines
1.3 KiB
Plaintext
68 lines
1.3 KiB
Plaintext
(module
|
|
(memory 1 1)
|
|
(func (export "load_oob")
|
|
i32.const 65536
|
|
i32.load
|
|
drop
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "load_oob") "out of bounds memory access")
|
|
(assert_trap (invoke "load_oob") "out of bounds memory access")
|
|
|
|
(module
|
|
(memory 1 1)
|
|
(func (export "store_oob")
|
|
i32.const 65536
|
|
i32.const 65536
|
|
i32.store
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "store_oob") "out of bounds memory access")
|
|
(assert_trap (invoke "store_oob") "out of bounds memory access")
|
|
|
|
(module
|
|
(memory 0 0)
|
|
(func (export "load_oob_0")
|
|
i32.const 0
|
|
i32.load
|
|
drop
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "load_oob_0") "out of bounds memory access")
|
|
(assert_trap (invoke "load_oob_0") "out of bounds memory access")
|
|
|
|
(module
|
|
(memory 0 0)
|
|
(func (export "store_oob_0")
|
|
i32.const 0
|
|
i32.const 0
|
|
i32.store
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "store_oob_0") "out of bounds memory access")
|
|
(assert_trap (invoke "store_oob_0") "out of bounds memory access")
|
|
|
|
(module
|
|
(func (export "divbyzero") (result i32)
|
|
i32.const 1
|
|
i32.const 0
|
|
i32.div_s
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "divbyzero") "integer divide by zero")
|
|
(assert_trap (invoke "divbyzero") "integer divide by zero")
|
|
|
|
(module
|
|
(func (export "unreachable")
|
|
(unreachable)
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "unreachable") "unreachable")
|
|
(assert_trap (invoke "unreachable") "unreachable")
|