aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/variadic.ll
blob: 55e4a4da0a92032977f08cba0fbc7122fccb2a51 (plain)
1
2
3
4
5
6
7
8
; RUN: not opt -S -passes=verify 2>&1 < %s | FileCheck %s

; CHECK: va_start called in a non-varargs function
declare void @llvm.va_start(ptr)
define void @not_vararg(ptr %p) nounwind {
  call void @llvm.va_start(ptr %p)
  ret void
}