clang/test/Analysis/taint-tester.m

   1 // RUN: %clang_analyze_cc1  -analyzer-checker=optin.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 }