| ;; RUN: wasm-opt %s --fuzz-exec-before -q -o /dev/null 2>&1 | filecheck %s |
| |
| ;; Execute an import that is immediately exported. We should not error here, but |
| ;; no other output is expected (as the import does nothing and is ignored). |
| |
| (module |
| (import "spectest" "nothing" (func $import)) |
| (export "__wasm_call_ctors" (func $import)) |
| ) |
| |
| ;; Note this file does not use automatic updating as that only works for |
| ;; defined functions at the moment, and this module has none of those. |
| |
| ;; CHECK: [fuzz-exec] calling __wasm_call_ctors |
