summaryrefslogtreecommitdiff
path: root/test/lit/exec/non-nullable.wast
blob: da71d53ebeb45d72422646216268126f6296c899 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited.

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

(module
  ;; CHECK:      [fuzz-exec] calling get-ref
  ;; CHECK-NEXT: [trap fuzzer can only send defaultable parameters to exports]
  (func $get-ref (export "get-ref") (param $0 (ref any))
    (nop)
  )
)
;; CHECK:      [fuzz-exec] calling get-ref
;; CHECK-NEXT: [trap fuzzer can only send defaultable parameters to exports]
;; CHECK-NEXT: [fuzz-exec] comparing get-ref