1 // RUN: %clang_analyze_cc1 -triple gcc-linaro-arm-linux-gnueabihf -analyzer-checker=core,valist.Uninitialized,valist.CopyToSelf -analyzer-output=text -analyzer-store=region -verify %s
2 // expected-no-diagnostics
3
4 typedef unsigned int size_t;
5 typedef __builtin_va_list __gnuc_va_list;
6 typedef __gnuc_va_list va_list;
7
8 extern int vsprintf(char *__restrict __s,
9 const char *__restrict __format, __gnuc_va_list
10 __arg);
11
_dprintf(const char * function,int flen,int line,int level,const char * prefix,const char * fmt,...)12 void _dprintf(const char *function, int flen, int line, int level,
13 const char *prefix, const char *fmt, ...) {
14 char raw[10];
15 int err;
16 va_list ap;
17
18 __builtin_va_start(ap, fmt);
19 err = vsprintf(raw, fmt, ap);
20 __builtin_va_end(ap);
21 }
22