1 // RUN: %clang_cc1 -analyze -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 9 extern void NSLog (NSString *format, ...); 10 extern void NSLogv(NSString *format, va_list args); 11 12 void TestLog (NSString *format, ...); 13 void 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 }