summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/wasm2c/address-overflow.txt12
1 files changed, 12 insertions, 0 deletions
diff --git a/test/wasm2c/address-overflow.txt b/test/wasm2c/address-overflow.txt
new file mode 100644
index 00000000..c32a52a8
--- /dev/null
+++ b/test/wasm2c/address-overflow.txt
@@ -0,0 +1,12 @@
+;;; TOOL: run-spec-wasm2c
+(module
+ (memory 1)
+ (func (export "test") (param i32)
+ local.get 0
+ i32.load8_u offset=1
+ drop)
+)
+(assert_trap (invoke "test" (i32.const -1)) "out of bounds memory access")
+(;; STDOUT ;;;
+1/1 tests passed.
+;;; STDOUT ;;)