[LLVMbugs] [Bug 7140] New: Return retain-count assumptions are invalid

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri May 14 09:59:45 PDT 2010


           Summary: Return retain-count assumptions are invalid
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: lukes.dylan at gmail.com
                CC: llvmbugs at cs.uiuc.edu

In a method for example named:


the static analyzer does not take into consideration the "No", which by the
camelcase convention is clearly a whole word, not a portion. The clang analyzer
should not expect a +1 return value if "NoCopy" is explicitly used. "NoCopy" is
used as a phase in various standard library components, such as NSData as well.

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.

More information about the llvm-bugs mailing list