| 1 | // RUN: %clang_analyze_cc1 -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 | } |
|---|