blob: b5663ca02777066b30e387876d538ad1badf6fac [file] [log] [blame]
// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.security.taint,debug.TaintTest %s -verify
// expected-no-diagnostics
#import <stdarg.h>
@interface NSString
- (NSString *)stringByAppendingString:(NSString *)aString;
@end
extern void NSLog (NSString *format, ...);
extern void NSLogv(NSString *format, va_list args);
void TestLog (NSString *format, ...);
void TestLog (NSString *format, ...) {
va_list ap;
va_start(ap, format);
NSString *string = @"AAA: ";
NSLogv([string stringByAppendingString:format], ap);
va_end(ap);
}