;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited.

;; RUN: wasm-opt %s -all --remove-unused-module-elements --fuzz-exec -o /dev/null 2>&1 | filecheck %s

;; The global here can be optimized out as it has no uses. That has a noticeable
;; effect, however, of avoiding a host limit exception. We should ignore that in
;; fuzz exec and not error.

(module
 (type $type$0 (array i8))

 (import "fuzzing-support" "log" (func $log (param i32)))

 (global $global (mut (ref $type$0)) (array.new_default $type$0
  (i32.const -1)
 ))

 ;; CHECK:      [fuzz-exec] calling export
 ;; CHECK-NEXT: [LoggingExternalInterface logging 42]
 ;; CHECK-NEXT: ignoring comparison of ExecutionResults!
 (func $export (export "export")
  (call $log
   (i32.const 42)
  )
 )
)