Home

Errors: 8

Warnings: 0

Successes: 28


traps.wast

{"type":"module","line":5,"filename":"traps.0.wasm"}

loaded

{"type":"assert_trap","line":16,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i32.div_s","args":[{"type":"i32","value":"1"},{"type":"i32","value":"0"}]}}
(assert_trap (invoke "no_dce.i32.div_s" (i32.const 1) (i32.const 0)) "integer divide by zero")

ok, got error: i32.div_s, division by zero

{"type":"assert_trap","line":17,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i32.div_u","args":[{"type":"i32","value":"1"},{"type":"i32","value":"0"}]}}
(assert_trap (invoke "no_dce.i32.div_u" (i32.const 1) (i32.const 0)) "integer divide by zero")

ok, got error: i32.div_u, division by zero

{"type":"assert_trap","line":18,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i64.div_s","args":[{"type":"i64","value":"1"},{"type":"i64","value":"0"}]}}
(assert_trap (invoke "no_dce.i64.div_s" (i64.const 1) (i64.const 0)) "integer divide by zero")

ok, got error: i64.div_s, division by zero

{"type":"assert_trap","line":19,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i64.div_u","args":[{"type":"i64","value":"1"},{"type":"i64","value":"0"}]}}
(assert_trap (invoke "no_dce.i64.div_u" (i64.const 1) (i64.const 0)) "integer divide by zero")

ok, got error: i64.div_u, division by zero

{"type":"assert_trap","line":20,"text":"integer overflow","action":{"type":"invoke","field":"no_dce.i32.div_s","args":[{"type":"i32","value":"2147483648"},{"type":"i32","value":"4294967295"}]}}
(assert_trap (invoke "no_dce.i32.div_s" (i32.const 0x80000000) (i32.const -1)) "integer overflow")

ok, got error: i32.div_s, signed integer overflow

{"type":"assert_trap","line":21,"text":"integer overflow","action":{"type":"invoke","field":"no_dce.i64.div_s","args":[{"type":"i64","value":"9223372036854775808"},{"type":"i64","value":"18446744073709551615"}]}}
(assert_trap (invoke "no_dce.i64.div_s" (i64.const 0x8000000000000000) (i64.const -1)) "integer overflow")

ok, got error: i64.div_s, signed integer overflow

{"type":"module","line":23,"filename":"traps.1.wasm"}

loaded

{"type":"assert_trap","line":34,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i32.rem_s","args":[{"type":"i32","value":"1"},{"type":"i32","value":"0"}]}}
(assert_trap (invoke "no_dce.i32.rem_s" (i32.const 1) (i32.const 0)) "integer divide by zero")

ok, got error: i32.rem_s, division by zero

{"type":"assert_trap","line":35,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i32.rem_u","args":[{"type":"i32","value":"1"},{"type":"i32","value":"0"}]}}
(assert_trap (invoke "no_dce.i32.rem_u" (i32.const 1) (i32.const 0)) "integer divide by zero")

ok, got error: i32.rem_u, division by zero

{"type":"assert_trap","line":36,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i64.rem_s","args":[{"type":"i64","value":"1"},{"type":"i64","value":"0"}]}}
(assert_trap (invoke "no_dce.i64.rem_s" (i64.const 1) (i64.const 0)) "integer divide by zero")

ok, got error: i64.rem_s, division by zero

{"type":"assert_trap","line":37,"text":"integer divide by zero","action":{"type":"invoke","field":"no_dce.i64.rem_u","args":[{"type":"i64","value":"1"},{"type":"i64","value":"0"}]}}
(assert_trap (invoke "no_dce.i64.rem_u" (i64.const 1) (i64.const 0)) "integer divide by zero")

ok, got error: i64.rem_u, division by zero

{"type":"module","line":39,"filename":"traps.2.wasm"}

loaded

{"type":"assert_trap","line":50,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i32.trunc_f32_s","args":[{"type":"f32","value":"2143289344"}]}}
(assert_trap (invoke "no_dce.i32.trunc_f32_s" (f32.const nan)) "invalid conversion to integer")

assert_trap, todo: todo, execute instruction zcl_wasm_i32_trunc_f32_s

{"type":"assert_trap","line":51,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i32.trunc_f32_u","args":[{"type":"f32","value":"2143289344"}]}}
(assert_trap (invoke "no_dce.i32.trunc_f32_u" (f32.const nan)) "invalid conversion to integer")

assert_trap, todo: todo, execute instruction zcl_wasm_i32_trunc_f32_u

{"type":"assert_trap","line":52,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i32.trunc_f64_s","args":[{"type":"f64","value":"9221120237041090560"}]}}
(assert_trap (invoke "no_dce.i32.trunc_f64_s" (f64.const nan)) "invalid conversion to integer")

assert_trap, todo: i64, from_unsigned, value too long, todo, "9221120237041090560"

{"type":"assert_trap","line":53,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i32.trunc_f64_u","args":[{"type":"f64","value":"9221120237041090560"}]}}
(assert_trap (invoke "no_dce.i32.trunc_f64_u" (f64.const nan)) "invalid conversion to integer")

assert_trap, todo: i64, from_unsigned, value too long, todo, "9221120237041090560"

{"type":"assert_trap","line":54,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i64.trunc_f32_s","args":[{"type":"f32","value":"2143289344"}]}}
(assert_trap (invoke "no_dce.i64.trunc_f32_s" (f32.const nan)) "invalid conversion to integer")

assert_trap, todo: todo, execute instruction zcl_wasm_i64_trunc_f32_s

{"type":"assert_trap","line":55,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i64.trunc_f32_u","args":[{"type":"f32","value":"2143289344"}]}}
(assert_trap (invoke "no_dce.i64.trunc_f32_u" (f32.const nan)) "invalid conversion to integer")

assert_trap, todo: todo, execute instruction zcl_wasm_i64_trunc_f32_u

{"type":"assert_trap","line":56,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i64.trunc_f64_s","args":[{"type":"f64","value":"9221120237041090560"}]}}
(assert_trap (invoke "no_dce.i64.trunc_f64_s" (f64.const nan)) "invalid conversion to integer")

assert_trap, todo: i64, from_unsigned, value too long, todo, "9221120237041090560"

{"type":"assert_trap","line":57,"text":"invalid conversion to integer","action":{"type":"invoke","field":"no_dce.i64.trunc_f64_u","args":[{"type":"f64","value":"9221120237041090560"}]}}
(assert_trap (invoke "no_dce.i64.trunc_f64_u" (f64.const nan)) "invalid conversion to integer")

assert_trap, todo: i64, from_unsigned, value too long, todo, "9221120237041090560"

{"type":"module","line":59,"filename":"traps.3.wasm"}

loaded

{"type":"assert_trap","line":78,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i32.load","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i32.load" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":79,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i32.load16_s","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i32.load16_s" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":80,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i32.load16_u","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i32.load16_u" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":81,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i32.load8_s","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i32.load8_s" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":82,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i32.load8_u","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i32.load8_u" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":83,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i64.load","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i64.load" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":84,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i64.load32_s","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i64.load32_s" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":85,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i64.load32_u","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i64.load32_u" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":86,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i64.load16_s","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i64.load16_s" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":87,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i64.load16_u","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i64.load16_u" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":88,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i64.load8_s","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i64.load8_s" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":89,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.i64.load8_u","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.i64.load8_u" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":90,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.f32.load","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.f32.load" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

{"type":"assert_trap","line":91,"text":"out of bounds memory access","action":{"type":"invoke","field":"no_dce.f64.load","args":[{"type":"i32","value":"65536"}]}}
(assert_trap (invoke "no_dce.f64.load" (i32.const 65536)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 2, 65536

Generated at 2024-09-05T14:40:42