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