1// Test this without pch.
2// RUN: %clang_cc1 -triple=x86_64-unknown-freebsd7.0 -include %S/Inputs/va_arg.h %s -emit-llvm -o -
3
4// Test with pch.
5// RUN: %clang_cc1 -triple=x86_64-unknown-freebsd7.0 -emit-pch -x c++-header -o %t %S/Inputs/va_arg.h
6// RUN: %clang_cc1 -triple=x86_64-unknown-freebsd7.0 -include-pch %t %s -emit-llvm -o -
7
8typedef __SIZE_TYPE__ size_t;
9
10extern "C" {
11int vsnprintf(char * , size_t, const char * , va_list) ;
12}
13
14void f(char *buffer, unsigned count, const char* format, va_list argptr) {
15  vsnprintf(buffer, count, format, argptr);
16}
17