Anna Zaks | 665b002 | 2012-01-21 06:59:01 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=experimental.security.taint,debug.TaintTest %s -verify |
| 2 | |
| 3 | #import <stdarg.h> |
| 4 | |
| 5 | @interface NSString |
| 6 | - (NSString *)stringByAppendingString:(NSString *)aString; |
| 7 | @end |
| 8 | extern void NSLog (NSString *format, ...); |
| 9 | extern void NSLogv(NSString *format, va_list args); |
| 10 | |
| 11 | void TestLog (NSString *format, ...); |
| 12 | void 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 | } |