Do not report twice CFRelease() call

[llvmbot]

Bugzilla Link	4014
Resolution	INVALID
Resolved on	Mar 06, 2010 13:59
Version	unspecified
OS	All
Reporter	LLVM Bugzilla Contributor
CC	@tkremenek

Extended Description

checker-0.186 do not report code:

main.cpp:

int main()
{
CFStringRef ref = CFStringCreateWithFormat(kCFAllocatorDefault, NULL, CFSTR("%d"), 100);
CFRelease(ref);
...
CFRelease(ref); // twice call CFRelease() !

return 0;
}

[llvmbot]

assigned to @tkremenek

[tkremenek]

The analyzer does not analyze C++ code yet. If you change your file to be a C or Objective-C file then the checker flags a warning as expected (you also need to include the headers that provide a prototype for CFRelease).