; 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
}
; 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
}