[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


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

           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:

-dataNoCopyForColumnIndex:

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