Jon Chesterfield ac6b4c618a Reapply "[Verifier] Reject va_start in non-variadic function (#88809)"
This reverts commit f4960da6023b8034ae68925c3223d51624621b37.
Includes a fix for the MLIR test case.
2024-04-16 12:26:08 +01:00

9 lines
234 B
LLVM

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