From: Ted Kremenek Date: Thu, 24 Apr 2008 18:17:14 +0000 (+0000) Subject: Added test case for functionality fix in rdar://problem/5886141 (handle variadic... X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=08e48c1affba118c236e20feeb053fb5bb8e8ca4;p=clang Added test case for functionality fix in rdar://problem/5886141 (handle variadic CF Create functions). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50219 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Analysis-Apple/NSString.m b/test/Analysis-Apple/NSString.m index 7662766eb2..93e51ab730 100644 --- a/test/Analysis-Apple/NSString.m +++ b/test/Analysis-Apple/NSString.m @@ -1,5 +1,6 @@ -// RUN: clang -checker-simple -verify %s +// RUN: clang -checker-cfref -verify %s +#include #include #include #include @@ -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}} +}