From 78120c8b3aa5ab09b6a7196b35e28b0341715a7c Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 24 Apr 2008 18:17:14 +0000
Subject: [PATCH] Added test case for functionality fix in
 rdar://problem/5886141 (handle variadic CF Create functions).

llvm-svn: 50219
---
 clang/test/Analysis-Apple/NSString.m | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/clang/test/Analysis-Apple/NSString.m b/clang/test/Analysis-Apple/NSString.m
index 7662766eb237..93e51ab73033 100644
--- a/clang/test/Analysis-Apple/NSString.m
+++ b/clang/test/Analysis-Apple/NSString.m
@@ -1,5 +1,6 @@
-// RUN: clang -checker-simple -verify %s
+// RUN: clang -checker-cfref -verify %s
 
+#include <CoreFoundation/CFString.h>
 #include <Foundation/NSString.h>
 #include <Foundation/NSObjCRuntime.h>
 #include <Foundation/NSArray.h>
@@ -32,3 +33,13 @@ NSComparisonResult f5(NSString* s, NSStringCompareOptions op, NSRange R) {
 NSComparisonResult f6(NSString* s) {
   return [s componentsSeparatedByCharactersInSet:nil]; // expected-warning {{Argument to 'NSString' method 'componentsSeparatedByCharactersInSet:' cannot be nil.}}
 }
+
+NSString* f7(NSString* s1, NSString* s2, NSString* s3) {
+
+  NSString* s4 = CFStringCreateWithFormat(kCFAllocatorDefault, NULL,
+                                          L"%@ %@ (%@)", 
+                                          s1, s2, s3);
+
+  CFRetain(s4);
+  return s4; // expected-warning{{leak}}
+}