1 files changed, 16 insertions, 0 deletions
diff --git a/test/ctor-eval/unsafe_call.wast b/test/ctor-eval/unsafe_call.wast
new file mode 100644
index 000000000..703760744
--- /dev/null
+++ b/test/ctor-eval/unsafe_call.wast
@@ -0,0 +1,16 @@
+(module
+  (memory 256 256)
+  (data (i32.const 10) "waka waka waka waka waka")
+  (export "test1" $test1)
+  (export "test2" $test2)
+  (export "test3" $test3)
+  (func $test1
+    (call $unsafe-to-call) ;; unsafe to call
+    (i32.store (i32.const 12) (i32.const 115)) ;; a safe store, should alter memory
+    (i32.store16 (i32.const 20) (i32.const 31353))
+    (i32.store8 (i32.const 23) (i32.const 120))
+  )
+  (func $unsafe-to-call
+    (unreachable)
+  )
+)