[LLVMbugs] [Bug 15094] New: static analyzer false positive: Analyzer not honoring CF_RELEASES_ARGUMENT in C++ template

[bugzilla-daemon at llvm.org]

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

             Bug #: 15094
           Summary: static analyzer false positive: Analyzer not honoring
                    CF_RELEASES_ARGUMENT in C++ template
           Product: new-bugs
           Version: 3.1
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: dmaclach at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Analyze the attached code with clang. We are using Apple clang version 4.1
(tags/Apple/clang-421.11.66) (based on LLVM 3.1svn) that shipped with the Xcode
4.6 GM.

The analyzer in Xcode 4.6 appears to be giving us a false positive when we are
using an "smartptr" in C++.

1) Analyze attached code
2) Look at "leak" report

We think we have everything set up correctly to let the analyzer know what we
are doing, and apologize if it's a mistake on our side.

-- 
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.