1; RUN: not opt -S -passes=verify 2>&1 < %s | FileCheck %s 2 3; CHECK: va_start called in a non-varargs function 4declare void @llvm.va_start(ptr) 5define void @not_vararg(ptr %p) nounwind { 6 call void @llvm.va_start(ptr %p) 7 ret void 8} 9