fix import type detection of calls in comma operators; when the parent is a comma, it can't be a coersion (or that would have been the parent), so there is no coercion, so the result type is none (#1115)

1 files changed, 12 insertions, 0 deletions

diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 8ee0b073f..f57931d20 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -13,6 +13,7 @@
  (import "env" "print" (func $print (param i32)))
  (import "env" "h" (func $h (param i32)))
  (import "env" "return_int" (func $return_int (result i32)))
+ (import "env" "emscripten_log" (func $emscripten_log))
  (import "asm2wasm" "f64-rem" (func $f64-rem (param f64 f64) (result f64)))
  (import "env" "memory" (memory $0 256 256))
  (import "env" "table" (table 25 25 anyfunc))
@@ -1169,6 +1170,16 @@
    )
   )
  )
+ (func $call_emscripten_log
+  (call $emscripten_log)
+  (drop
+   (i32.trunc_s/f64
+    (call $abort
+     (f64.const 0)
+    )
+   )
+  )
+ )
  (func $keepAlive
   (drop
    (call $sqrts
@@ -1192,6 +1203,7 @@
   )
   (call $indirectInSequence)
   (call $emterpretify_assertions_safeHeap)
+  (call $call_emscripten_log)
  )
  (func $vi (param $0 i32)
   (nop)