1// RUN: %clang_analyze_cc1  -analyzer-checker=alpha.security.taint,debug.TaintTest %s -verify
2// expected-no-diagnostics
3
4#import <stdarg.h>
5
6@interface NSString
7- (NSString *)stringByAppendingString:(NSString *)aString;
8@end
9extern void NSLog (NSString *format, ...);
10extern void NSLogv(NSString *format, va_list args);
11
12void TestLog (NSString *format, ...);
13void TestLog (NSString *format, ...) {
14    va_list ap;
15    va_start(ap, format);
16    NSString *string = @"AAA: ";
17
18    NSLogv([string stringByAppendingString:format], ap);
19
20    va_end(ap);
21}