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