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}