aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/invalid-label-param.ll
blob: 92d8b80086dcb86cfa82097624a5dcaca600cccb (plain)
1
2
3
4
5
6
7
8
9
10
; RUN: not llvm-as < %s 2>&1 | FileCheck %s

define void @invalid_arg_type(i32 %0) {
1:
  call void @foo(label %1)
  ret void
}

declare void @foo(label)
; CHECK: invalid type for function argument