1 files changed, 19 insertions, 0 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 45912cffb..ea664d5f0 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -1142,6 +1142,24 @@
    (i32.const 17)
   )
  )
+ (func $emterpretify_assertions_safeHeap
+  (local $0 i32)
+  (call_indirect $FUNCSIG$vi
+   (get_local $0)
+   (block (result i32)
+    (set_global $Int
+     (i32.const 1)
+    )
+    (i32.add
+     (i32.and
+      (get_global $Int)
+      (i32.const 7)
+     )
+     (i32.const 16)
+    )
+   )
+  )
+ )
  (func $keepAlive
   (drop
    (call $sqrts
@@ -1164,6 +1182,7 @@
    )
   )
   (call $indirectInSequence)
+  (call $emterpretify_assertions_safeHeap)
  )
  (func $vi (param $0 i32)
   (nop)