blob: f734a749ec7393a1db24b7c5d055454e027c96be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
;; Test for a validation error on bad usage of call.without.effects
;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s
;; CHECK: param number must match
(module
(import "binaryen-intrinsics" "call.without.effects" (func $cwe (param i32 funcref) (result i32)))
(func $get-ref (export "get-ref") (result i32)
;; This call-without-effects is done to a $func, but $func has the wrong
;; signature - it lacks the i32 parameter.
(call $cwe
(i32.const 41)
(ref.func $func)
)
)
(func $func (result i32)
(i32.const 1)
)
)
|
