| ;; RUN: wasm-opt %s -all --fuzz-exec-before --fuzz-exec-second=%s.second -q -o /dev/null 2>&1 | filecheck %s | |
| (module | |
| (import "fuzzing-support" "log-i32" (func $log-i32 (param i32))) | |
| (global $global funcref (ref.func $func)) | |
| (export "global" (global $global)) | |
| (func $func | |
| (call $log-i32 | |
| (i32.const 42) | |
| ) | |
| ) | |
| ) | |
| ;; Export a funcref through a global, and return_call it from the other module. | |
| ;; It must be called ok, print 42, and not error. | |
| ;; CHECK: [fuzz-exec] export caller | |
| ;; CHECK-NEXT: [LoggingExternalInterface logging 42] | |