[LLVMbugs] [Bug 9746] New: Bug in associating block types to ObjC objects in variadic-method-types analysis

[bugzilla-daemon at llvm.org]

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

           Summary: Bug in associating block types to ObjC objects in
                    variadic-method-types analysis
           Product: clang
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: remy.demarest at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=6483)
 --> (http://llvm.org/bugs/attachment.cgi?id=6483)
NSDictionary method analysis

When passing a block object as parameter of a variadic method like
-dictionaryWithObjectsAndKeys:, the analyzer does not consider the block
pointer as an ObjC object and emits a diagnosis saying that the parameter is
not an ObjC pointer. Although, the analyzer does not emit a diagnosis when a
block is the first argument of the same method (where it explicitly say "id" as
a type).

In the attached test case, the block should be considered as a regular ObjC
object.

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