-// 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>
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}}
+}