Ted Kremenek | cdc3a89 | 2012-08-24 20:39:55 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=alpha.security.taint,debug.TaintTest %s -verify |
Andy Gibbs | 8e8fb3b | 2012-10-19 12:44:48 +0000 | [diff] [blame] | 2 | // expected-no-diagnostics |
Anna Zaks | 665b002 | 2012-01-21 06:59:01 +0000 | [diff] [blame] | 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 | } |