[LLVMbugs] [Bug 2519] New: scan-build ignores CFRelease

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=2519

           Summary: scan-build ignores CFRelease
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Semantic Analyzer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: boredzo at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=1801)
 --> (http://llvm.org/bugs/attachment.cgi?id=1801)
Test program. Use `make static-analysis` to run the analyzer.

The static analyzer flags false memory leaks on some objects that the
program under analysis actually does release, if it does so using CFRelease.

The problem seems to be related to putting the object into a CF collection
before releasing it. The program also releases the collection, also using
CFRelease. Simply creating a CF object and releasing it is not enough to
reproduce the bug.


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.